 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 |
|