16 Commits

Author	SHA1	Message	Date
krasimir	9e7b914c3c	for backward compatibility we have the old parse function again. the old functionality is exposed by parse_	2010-04-30 20:18:26 +00:00
krasimir	8460598801	first incarnation of the bracketed string API	2010-04-30 14:36:06 +00:00
krasimir	d83c2d01d8	export fullFormLexicon from PGF	2010-03-31 11:09:12 +00:00
krasimir	68482aa7e9	now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.	2010-03-24 11:11:55 +00:00
aarne	716a209f65	PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage	2010-03-22 19:03:06 +00:00
krasimir	f870c4d80f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	09da1013f9	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store	2010-02-22 15:50:41 +00:00
krasimir	32f9499f2e	fix the PGF printer for abstract	2010-02-16 21:47:58 +00:00
aarne	510d511637	commands mq and tq can take a tree with metas to guide generation	2010-02-01 09:56:58 +00:00
aarne	e71545eab1	gt and gr can start from a tree with metavariables, just filling them	2010-01-30 18:01:18 +00:00
krasimir	3b7e39fa4a	bugfix in the PGF typechecker and more test cases	2010-01-29 21:10:14 +00:00
krasimir	890d455793	cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification	2010-01-27 09:39:14 +00:00
krasimir	9b362ff231	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	3ed19a482e	printnames are now kept as String instead of Term in PGF	2010-01-05 07:05:41 +00:00
krasimir	c036459214	remove the old parsing code and the -erasing=on flag	2009-12-14 10:54:22 +00:00
krasimir	f85232947e	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00