5 Commits

Include renames

Author	SHA1	Message	Date
aarne	6452db1ca5	prefix and postfix in lib Formal	2010-08-30 09:34:45 +00:00
aarne	5f0844f69c	restored table3 in Coordination; completed PhrasebookFre	2010-04-12 21:06:11 +00:00
aarne	00504315dc	4-arg coordination by Shafqat	2010-04-12 10:04:29 +00:00
krasimir	aa64592e37	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
aarne	a1fdeb6704	next-lib renamed to lib, lib to old-lib	2009-06-22 15:39:08 +00:00