repos / INblobs / shortlog
summary | shortlog | log | tree

shortlog
...
17 years ago Miguel Vilaca Reduction Bug Fix commit | commitdiff
17 years ago Daniel Mendes Template bug fix. commit | commitdiff
17 years ago Miguel Vilaca Retro compatibility commit | commitdiff
17 years ago Miguel Vilaca Check Special Symbols definitions commit | commitdiff
17 years ago Miguel Vilaca Examples Corrections commit | commitdiff
17 years ago Miguel Vilaca Valid IN System commit | commitdiff
17 years ago Miguel Vilaca Checks commit | commitdiff
17 years ago Miguel Vilaca Generation of Textual Descriptions commit | commitdiff
17 years ago Miguel Vilaca Bug Fix: lambda-terms to IN commit | commitdiff
17 years ago Daniel Mendes Automatic transformation of lambda terms into interactio ... commit | commitdiff
18 years ago Miguel Vilaca Standard reduction stragies system commit | commitdiff
18 years ago Miguel Vilaca Documentation update commit | commitdiff
18 years ago Miguel Vilaca Adds Cabal support commit | commitdiff
18 years ago Miguel Vilaca Update for new compilers and libraries versions commit | commitdiff
18 years ago Miguel Vilaca Token-Passing examples commit | commitdiff
18 years ago Daniel Mendes Bug fixes commit | commitdiff
18 years ago Miguel Vilaca Webpage update commit | commitdiff
18 years ago Daniel Mendes Management Rule Template's commit | commitdiff
18 years ago Daniel Mendes WRINF strategy commit | commitdiff
18 years ago Daniel Mendes MacOS dialog bug fixed commit | commitdiff
18 years ago Miguel Vilaca Multi selection fixes commit | commitdiff
18 years ago Miguel Vilaca Bug Fix commit | commitdiff
18 years ago Miguel Vilaca A few spelling corrections commit | commitdiff
18 years ago Miguel Vilaca Multiple edges between 2 agents but at different ports. commit | commitdiff
18 years ago Miguel Vilaca Easier executables for Windows XP and Mac OS X commit | commitdiff
18 years ago Miguel Vilaca Document more bugs commit | commitdiff
18 years ago Miguel Vilaca Easy run on Mac commit | commitdiff
18 years ago Miguel Vilaca Renamings commit | commitdiff
19 years ago Miguel Vilaca Reduction commit | commitdiff
19 years ago Miguel Vilaca Haddock documentation commit | commitdiff
19 years ago Miguel Vilaca Removes unnecessary features. commit | commitdiff
19 years ago Miguel Vilaca Bugs Fix commit | commitdiff
19 years ago Miguel Vilaca Usability improvements commit | commitdiff
19 years ago Miguel Vilaca Reorganization of files commit | commitdiff
19 years ago Miguel Vilaca Browsable Repository commit | commitdiff
19 years ago Miguel Vilaca Webpage Help and Instalation Notes commit | commitdiff
19 years ago Miguel Vilaca Help Menu commit | commitdiff
19 years ago Miguel Vilaca Linux and Mac commit | commitdiff
19 years ago Miguel Vilaca New Agents commit | commitdiff
19 years ago Miguel Vilaca Statistics in webpage commit | commitdiff
19 years ago Miguel Vilaca Example updated commit | commitdiff
19 years ago Miguel Vilaca VisiblePalette and open document bugs fixed commit | commitdiff
19 years ago Miguel Vilaca Arrow on principal ports commit | commitdiff
19 years ago Miguel Vilaca Examples of IN and its textual descriptions commit | commitdiff
19 years ago Miguel Vilaca Rules whose lhs and rhs don't have interface. commit | commitdiff
19 years ago Miguel Vilaca More shapes for nodes commit | commitdiff
19 years ago Miguel Vilaca Show edges hidden behind agents commit | commitdiff
19 years ago Miguel Vilaca Operations on Document and Rules for full IN system commit | commitdiff
19 years ago Miguel Vilaca Small improvements and fixes commit | commitdiff
19 years ago Miguel Vilaca Bug fix commit | commitdiff
...
Crece desde el pueblo el futuro / crece desde el pie