21 Commits

Author	SHA1	Message	Date
aarne	ea31c1e63b	new languages in resource Make; moved GF-specific stuff from Quiz	2008-06-16 11:15:38 +00:00
aarne	543ef3531a	documentation of commands; restriction options to generation	2008-06-15 21:36:41 +00:00
aarne	c1c8257e82	added translation and mophology quizzes	2008-06-14 08:51:13 +00:00
krasimir	96230f84f5	fix the tree extractor in the incremental parser to check for cyclic charts and coercion rules.	2008-06-12 13:34:47 +00:00
aarne	ad16eb2d78	allow spaces between command options; option -treebank in linearize	2008-06-11 09:20:26 +00:00
aarne	9628eb6314	preliminary version of morpho analysis	2008-06-10 16:00:42 +00:00
kr.angelov	1068fbc7cf	lookParser already returns Nothing if there is no parser. Don't generate error	2008-06-05 11:18:59 +00:00
kr.angelov	4803fb8052	use parser combinators to parse the shell commands. simplified CommandLine type	2008-06-05 07:33:42 +00:00
kr.angelov	0b1a157222	back to breadth first search. Fixes the the "I am here" bug	2008-06-04 21:49:39 +00:00
kr.angelov	a3f4910bdb	cleanup, document and export the completion API	2008-06-04 07:49:58 +00:00
bjorn	957b4252dd	Added lookPrintName.	2008-06-03 19:56:51 +00:00
krasimir	952e51d8f7	Redesign and opimize the incremental parser	2008-06-03 16:01:48 +00:00
krasimir	ac8fa4fd5f	Hackish version of the incremental parser	2008-06-03 06:59:44 +00:00
bjorn	20ea9ea5ec	Changes lookConcrFlag to return Maybe.	2008-05-30 15:38:35 +00:00
krasimir	75b56603cf	use MultiMap from the reference implementation instead of GeneralDeduction and RedBlackTree	2008-06-02 08:38:27 +00:00
krasimir	7ee26238f5	Some more documentation	2008-06-02 07:45:45 +00:00
krasimir	150940b870	cleaned up and documented PGF API	2008-05-30 13:07:11 +00:00
krasimir	8bb0c32a9c	replace GFCC with PGF in (almost) all places	2008-05-30 11:15:33 +00:00
krasimir	1172539a95	change the PGF.Data.Exp type	2008-05-30 09:10:28 +00:00
krasimir	1077fa1f30	don't need SyntaxTree anymore. Use PGF.Data.Exp directly	2008-05-30 07:23:00 +00:00
krasimir	88d3f61f41	change the library root namespace from GF.GFCC to PGF	2008-05-29 17:55:05 +00:00