| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2007-12-04 | moved some modules to Devel.Grammar | aarne | |
| 2007-12-03 | started parsing GF source into the new format | aarne | |
| 2007-11-28 | judgement construction after parsing | aarne | |
| 2007-11-28 | new definitions of term and judgement syntax | aarne | |
