2 Commits

Author	SHA1	Message	Date
krasimir	d3a84f994b	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	2116f41bc2	next-lib renamed to lib, lib to old-lib	2009-06-22 15:39:08 +00:00