| Age | Commit message (Expand) | 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, ab... | kr.angelov |
| 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 |