6 Commits

Author	SHA1	Message	Date
krasimir	486d21cd7a	fix the command line parser	2008-06-15 09:21:59 +00:00
aarne	3b15ade685	file name as option in commands	2008-06-12 21:04:16 +00:00
aarne	65cec04ac2	restored the read_file command ; filename must be in quotes (to be fixed?)	2008-06-11 13:18:09 +00:00
aarne	ad16eb2d78	allow spaces between command options; option -treebank in linearize	2008-06-11 09:20:26 +00:00
kr.angelov	11f24097b4	complete word completion in the shell. works for commands, flags, options, abstract syntax identifiers and NL strings	2008-06-05 11:29:08 +00:00
kr.angelov	4803fb8052	use parser combinators to parse the shell commands. simplified CommandLine type	2008-06-05 07:33:42 +00:00