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

shortlog
15 years ago Miguel Vilaca Minor Webpage Update commit | commitdiff
15 years ago Miguel Vilaca More Recent wxHaskell DLL commit | commitdiff
15 years ago Miguel Vilaca More Cleanup commit | commitdiff
15 years ago Miguel Vilaca Remove unnecessary module commit | commitdiff
16 years ago Miguel Vilaca Clean unnecessary stuff commit | commitdiff
16 years ago Miguel Vilaca Upgrade for new versions commit | commitdiff
16 years ago Miguel Vilaca External Compilation commit | commitdiff
16 years ago Miguel Vilaca New File Format commit | commitdiff
16 years ago Miguel Vilaca Functional BNL programs to IN Iterators commit | commitdiff
16 years ago Miguel Vilaca Bug Fixes commit | commitdiff
16 years ago Miguel Vilaca Richer Symbol Generation commit | commitdiff
16 years ago Miguel Vilaca IN Validity commit | commitdiff
16 years ago Miguel Vilaca Move to HaXml 1.19 commit | commitdiff
16 years ago Miguel Vilaca Symbol Deletion commit | commitdiff
16 years ago Miguel Vilaca Split big file commit | commitdiff
16 years ago Miguel Vilaca Reduction Bug Fix commit | commitdiff
16 years ago Daniel Mendes Template bug fix. commit | commitdiff
16 years ago Miguel Vilaca Retro compatibility commit | commitdiff
16 years ago Miguel Vilaca Check Special Symbols definitions commit | commitdiff
16 years ago Miguel Vilaca Examples Corrections commit | commitdiff
16 years ago Miguel Vilaca Valid IN System commit | commitdiff
16 years ago Miguel Vilaca Checks commit | commitdiff
16 years ago Miguel Vilaca Generation of Textual Descriptions commit | commitdiff
16 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
17 years ago Miguel Vilaca Standard reduction stragies system commit | commitdiff
17 years ago Miguel Vilaca Documentation update commit | commitdiff
17 years ago Miguel Vilaca Adds Cabal support commit | commitdiff
17 years ago Miguel Vilaca Update for new compilers and libraries versions commit | commitdiff
17 years ago Miguel Vilaca Token-Passing examples commit | commitdiff
17 years ago Daniel Mendes Bug fixes commit | commitdiff
17 years ago Miguel Vilaca Webpage update commit | commitdiff
17 years ago Daniel Mendes Management Rule Template's commit | commitdiff
17 years ago Daniel Mendes WRINF strategy commit | commitdiff
17 years ago Daniel Mendes MacOS dialog bug fixed commit | commitdiff
17 years ago Miguel Vilaca Multi selection fixes commit | commitdiff
17 years ago Miguel Vilaca Bug Fix commit | commitdiff
17 years ago Miguel Vilaca A few spelling corrections commit | commitdiff
17 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
18 years ago Miguel Vilaca Reduction commit | commitdiff
18 years ago Miguel Vilaca Haddock documentation commit | commitdiff
18 years ago Miguel Vilaca Removes unnecessary features. commit | commitdiff
18 years ago Miguel Vilaca Bugs Fix commit | commitdiff
18 years ago Miguel Vilaca Usability improvements commit | commitdiff
18 years ago Miguel Vilaca Reorganization of files commit | commitdiff
18 years ago Miguel Vilaca Browsable Repository commit | commitdiff
...
Crece desde el pueblo el futuro / crece desde el pie