9 Commits

Author	SHA1	Message	Date
aarne	967c4b5f65	one more word in German corrected	2008-11-07 16:24:00 +00:00
aarne	e9d3b508ae	bug fixes in German lexicon	2008-11-07 16:16:06 +00:00
aarne	cfce955aa8	distinguished know_VS and know_V2 in Lexicon; patched Italian imperatives (not quite finished yet)	2008-11-05 10:22:09 +00:00
aarne	e67587ae5b	structural words needed for Attempto ; negative items are overgenerating	2008-11-03 16:52:54 +00:00
aarne	3204702619	German Attempto - lots of words to check	2008-10-28 16:15:13 +00:00
aarne	43dcd61cbf	next-lib now compiles webalt ; removed subdir mathematical/ for simplicity	2008-10-06 15:27:14 +00:00
aarne	e56e6483f6	simplified 1.5 by removing mathematical/	2008-10-06 12:49:13 +00:00
aarne	16a1a48874	extended AP with Ord and compar in 1.5	2008-10-03 20:42:09 +00:00
aarne	33a44b2683	adapted German to 1.5	2008-09-22 12:24:28 +00:00