| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-06-25 | changed names of resource-1.3; added a note on homepage on release | aarne | |
| 2008-06-19 | split the Exp type to Tree and Expr | krasimir | |
| 2008-06-18 | system command pipes (sp) | aarne | |
| 2008-06-18 | macros for commands (dc) and terms (dt) | aarne | |
| 2008-06-17 | fixed command abbreviations in GFI | aarne | |
| 2008-06-15 | fix the command line parser | krasimir | |
| 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 | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |