10 Commits

Author	SHA1	Message	Date
krasimir	4dd62417dc	split the Exp type to Tree and Expr	2008-06-19 12:48:29 +00:00
aarne	944eea8de9	system command pipes (sp)	2008-06-18 16:26:12 +00:00
aarne	0f21f8f343	macros for commands (dc) and terms (dt)	2008-06-18 07:22:30 +00:00
aarne	7c097669d2	fixed command abbreviations in GFI	2008-06-17 12:34:02 +00:00
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