| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-06-12 | file name as option in commands | aarne | |
| 2008-06-11 | restored the read_file command ; filename must be in quotes (to be fixed?) | aarne | |
| 2008-06-11 | allow spaces between command options; option -treebank in linearize | aarne | |
| 2008-06-05 | complete word completion in the shell. works for commands, flags, options, ↵ | kr.angelov | |
| abstract syntax identifiers and NL strings | |||
| 2008-06-05 | use parser combinators to parse the shell commands. simplified CommandLine type | kr.angelov | |
