Fri, 19 Sep 2014 13:27:04 +0200 keep obsolete interpretations in Main, to avoid merge trouble
blanchet [Fri, 19 Sep 2014 13:27:04 +0200] rev 58390
keep obsolete interpretations in Main, to avoid merge trouble
Fri, 19 Sep 2014 13:27:04 +0200 made new 'primrec' bootstrapping-capable
blanchet [Fri, 19 Sep 2014 13:27:04 +0200] rev 58389
made new 'primrec' bootstrapping-capable
Fri, 19 Sep 2014 13:27:04 +0200 tuning
blanchet [Fri, 19 Sep 2014 13:27:04 +0200] rev 58388
tuning
Fri, 19 Sep 2014 13:27:04 +0200 tuning
blanchet [Fri, 19 Sep 2014 13:27:04 +0200] rev 58387
tuning
Fri, 19 Sep 2014 10:40:56 +0200 typo
traytel [Fri, 19 Sep 2014 10:40:56 +0200] rev 58386
typo
Fri, 19 Sep 2014 10:00:34 +0200 regression tests for n2m
traytel [Fri, 19 Sep 2014 10:00:34 +0200] rev 58385
regression tests for n2m
Fri, 19 Sep 2014 08:26:03 +0200 merged
Andreas Lochbihler [Fri, 19 Sep 2014 08:26:03 +0200] rev 58384
merged
Thu, 18 Sep 2014 15:23:23 +0200 add lemma
Andreas Lochbihler [Thu, 18 Sep 2014 15:23:23 +0200] rev 58383
add lemma
Thu, 18 Sep 2014 19:01:50 +0200 tuned imports
blanchet [Thu, 18 Sep 2014 19:01:50 +0200] rev 58382
tuned imports
Thu, 18 Sep 2014 18:49:58 +0200 removed debugging junk
blanchet [Thu, 18 Sep 2014 18:49:58 +0200] rev 58381
removed debugging junk
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip