repos / INblobs / filehistory
summary | shortlog | log | tree | annotate | headtree | filehistory

History for path /src
15 years ago Miguel Vilaca More Cleanup commit | commitdiff
15 years ago Miguel Vilaca Remove unnecessary module 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 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 Update for new compilers and libraries versions commit | commitdiff
17 years ago Daniel Mendes Bug fixes 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 Multiple edges between 2 agents but at different ports. 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 Help Menu commit | commitdiff
18 years ago Miguel Vilaca Linux and Mac commit | commitdiff
18 years ago Miguel Vilaca New Agents commit | commitdiff
18 years ago Miguel Vilaca VisiblePalette and open document bugs fixed commit | commitdiff
18 years ago Miguel Vilaca Arrow on principal ports commit | commitdiff
18 years ago Miguel Vilaca Rules whose lhs and rhs don't have interface. commit | commitdiff
18 years ago Miguel Vilaca More shapes for nodes commit | commitdiff
18 years ago Miguel Vilaca Show edges hidden behind agents commit | commitdiff
18 years ago Miguel Vilaca Operations on Document and Rules for full IN system commit | commitdiff
18 years ago Miguel Vilaca Small improvements and fixes commit | commitdiff
18 years ago Miguel Vilaca Bug fix commit | commitdiff
18 years ago Miguel Vilaca Automatically create LHS of an interaction rule commit | commitdiff
18 years ago Miguel Vilaca Copy LHS to RHS commit | commitdiff
...
Crece desde el pueblo el futuro / crece desde el pie