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