repos
/
INblobs
/ filehistory
summary
|
shortlog
|
log
|
tree
|
annotate
|
headblob
|
filehistory
History for path Makefile
16 years ago
Miguel Vilaca
More Cleanup
commit
|
commitdiff
16 years ago
Miguel Vilaca
Remove unnecessary module
commit
|
commitdiff
17 years ago
Miguel Vilaca
Clean unnecessary stuff
commit
|
commitdiff
17 years ago
Miguel Vilaca
External Compilation
commit
|
commitdiff
17 years ago
Miguel Vilaca
New File Format
commit
|
commitdiff
17 years ago
Miguel Vilaca
Functional BNL programs to IN Iterators
commit
|
commitdiff
17 years ago
Miguel Vilaca
Split big file
commit
|
commitdiff
17 years ago
Miguel Vilaca
Check Special Symbols definitions
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
Update for new compilers and libraries versions
commit
|
commitdiff
18 years ago
Daniel Mendes
Bug fixes
commit
|
commitdiff
18 years ago
Daniel Mendes
WRINF strategy
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
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
Usability improvements
commit
|
commitdiff
19 years ago
Miguel Vilaca
Linux and Mac
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
Draw rectangle when dragging canvas area for multiple se ...
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
Store node palette in the network document rather than i ...
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
remove class Analysis, replacing it with datatype Operations
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
merge module Node into module Network
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
remove all the FPTC stuff
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
all parser combinators now from HaXml
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
big one
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
suck in some initial FPTC stuff
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
split InfoKind class, introduce Parse class
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
new info field on every node
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
use ShapeStyle attributes
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
Add a palette of shapes.
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
allow different shape nodes
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
Add MacOSX icon to application bundle
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
build on MacOS
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
initial import
commit
|
commitdiff