12 Commits

Author	SHA1	Message	Date
krasimir	4e85f8ada3	refactor BracketedString	2010-05-01 21:02:32 +00:00
krasimir	8460598801	first incarnation of the bracketed string API	2010-04-30 14:36:06 +00:00
krasimir	24d2acf097	fix the molto-molto-molto problem	2010-04-12 13:55:40 +00:00
aarne	7a14507189	in the shell, permit 3-letter lang codes as concrete syntax names	2010-04-04 20:46:36 +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
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	af13bae2df	now the linearization is completely based on PMCFG	2010-01-17 17:05:21 +00:00
krasimir	cf22bd094f	move the definitions of _B and _V to PGF.Macros	2010-01-12 14:36:41 +00:00
krasimir	3ed19a482e	printnames are now kept as String instead of Term in PGF	2010-01-05 07:05:41 +00:00
krasimir	f85232947e	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00