8 Commits

Author	SHA1	Message	Date
aarne	03ffe34dbb	bug fixes in German lexicon	2008-11-07 16:16:06 +00:00
aarne	f7aed275d3	distinguished know_VS and know_V2 in Lexicon; patched Italian imperatives (not quite finished yet)	2008-11-05 10:22:09 +00:00
aarne	9ecc663d00	structural words needed for Attempto ; negative items are overgenerating	2008-11-03 16:52:54 +00:00
aarne	de9ed61a27	German Attempto - lots of words to check	2008-10-28 16:15:13 +00:00
aarne	ab14205108	next-lib now compiles webalt ; removed subdir mathematical/ for simplicity	2008-10-06 15:27:14 +00:00
aarne	e765b97fc4	simplified 1.5 by removing mathematical/	2008-10-06 12:49:13 +00:00
aarne	24207d40e9	extended AP with Ord and compar in 1.5	2008-10-03 20:42:09 +00:00
aarne	766852a64c	adapted German to 1.5	2008-09-22 12:24:28 +00:00