Sun, 09 Sep 2012 10:15:58 +0200 open typedef for datatypes
traytel [Sun, 09 Sep 2012 10:15:58 +0200] rev 49227
open typedef for datatypes
Sat, 08 Sep 2012 22:54:37 +0200 fixed and enabled iterator/recursor theorems
blanchet [Sat, 08 Sep 2012 22:54:37 +0200] rev 49226
fixed and enabled iterator/recursor theorems
Sat, 08 Sep 2012 21:52:17 +0200 renamed for consistency
blanchet [Sat, 08 Sep 2012 21:52:17 +0200] rev 49225
renamed for consistency
Sat, 08 Sep 2012 21:37:23 +0200 oops
blanchet [Sat, 08 Sep 2012 21:37:23 +0200] rev 49224
oops
Sat, 08 Sep 2012 21:33:15 +0200 tuning
blanchet [Sat, 08 Sep 2012 21:33:15 +0200] rev 49223
tuning
Sat, 08 Sep 2012 21:30:31 +0200 for compatiblity with old datatype package: not only "recs" with "s", but also "iters" and their "fld_"/"unf_" variants
blanchet [Sat, 08 Sep 2012 21:30:31 +0200] rev 49222
for compatiblity with old datatype package: not only "recs" with "s", but also "iters" and their "fld_"/"unf_" variants
Sat, 08 Sep 2012 21:21:27 +0200 fixed bug with one-value types with phantom type arguments
blanchet [Sat, 08 Sep 2012 21:21:27 +0200] rev 49221
fixed bug with one-value types with phantom type arguments
Sat, 08 Sep 2012 21:04:27 +0200 imported patch debugging
blanchet [Sat, 08 Sep 2012 21:04:27 +0200] rev 49220
imported patch debugging
Sat, 08 Sep 2012 21:04:26 +0200 repaired "nofail4" example
blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49219
repaired "nofail4" example
Sat, 08 Sep 2012 21:04:26 +0200 renamed xxxBNF to pre_xxx
blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49218
renamed xxxBNF to pre_xxx
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip