4 Commits

Include renames

Author	SHA1	Message	Date
aarne	fe15579b31	extended Attempto with some constructs	2010-09-29 07:16:33 +00:00
aarne	e89fdae2fa	next-lib renamed to lib, lib to old-lib	2009-06-22 15:39:08 +00:00
aarne	44ad7596b6	missing constructions in Attempto grammars added	2008-11-03 16:51:43 +00:00
aarne	48dc5208b5	Attempto in French ; not correct for mode in "il n'est pas possible que..." etc	2008-10-28 15:33:02 +00:00