2006-01-08 | adam | added more | tree | commitdiff |
2006-01-08 | adam | added some files | tree | commitdiff |
2006-01-08 | adam | yay, new boolean resolution approach works | tree | commitdiff |
2006-01-05 | adam | it all works | tree | commitdiff |
2006-01-05 | adam | checkpoint | tree | commitdiff |
2006-01-05 | adam | checkpoint | tree | commitdiff |
2006-01-04 | adam | checkpoint | tree | commitdiff |
2006-01-04 | adam | checkpoint | tree | commitdiff |
2006-01-04 | adam | checkpoint | tree | commitdiff |
2006-01-04 | adam | checkpoint | tree | commitdiff |
2006-01-03 | adam | added PrintableTree | tree | commitdiff |
2006-01-02 | adam | refactored Topology to make it a value (immutable)... | tree | commitdiff |
2006-01-02 | adam | convered maximal to use character lookahead | tree | commitdiff |
2006-01-02 | adam | good patch | tree | commitdiff |
2005-12-25 | adam | added DiscreteTopology | tree | commitdiff |
2005-12-14 | adam | checkpoint | tree | commitdiff |
2005-12-12 | adam | initial import | tree | commitdiff |