Fri, 30 Apr 2010 14:48:13 +0200 Cezary Kaliszyk Merged nominal_datatype into NewParser until eqvts
Fri, 30 Apr 2010 13:57:59 +0200 Cezary Kaliszyk more parser/new parser synchronization.
Fri, 30 Apr 2010 10:48:48 +0200 Cezary Kaliszyk Simplify old parser for integration
Fri, 30 Apr 2010 10:32:34 +0200 Cezary Kaliszyk merge
Fri, 30 Apr 2010 10:31:32 +0200 Cezary Kaliszyk Change signature of fv and alpha generation.
Fri, 30 Apr 2010 10:09:45 +0100 Christian Urban reorganised eqvt-file (now uses perm_simp already)
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip