| Age | Commit message (Expand) | 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 |
