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
Sat, 08 Sep 2012 21:04:26 +0200 fixed handling of map of "fun"
blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49217
fixed handling of map of "fun"
Sat, 08 Sep 2012 21:04:26 +0200 comment out code that's not ready
blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49216
comment out code that's not ready
Sat, 08 Sep 2012 21:04:26 +0200 tuning
blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49215
tuning
Sat, 08 Sep 2012 21:04:26 +0200 construct the right iterator theorem in the recursive case
blanchet [Sat, 08 Sep 2012 21:04:26 +0200] rev 49214
construct the right iterator theorem in the recursive case
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip