Mon, 21 Oct 2013 07:24:18 +0200 systematically close derivations in BNF package
blanchet [Mon, 21 Oct 2013 07:24:18 +0200] rev 54176
systematically close derivations in BNF package
Sun, 20 Oct 2013 23:36:18 +0200 removed temporary error handling
blanchet [Sun, 20 Oct 2013 23:36:18 +0200] rev 54175
removed temporary error handling
Sun, 20 Oct 2013 23:29:49 +0200 strengthened tactic
blanchet [Sun, 20 Oct 2013 23:29:49 +0200] rev 54174
strengthened tactic
Sun, 20 Oct 2013 22:51:21 +0200 tuning
blanchet [Sun, 20 Oct 2013 22:51:21 +0200] rev 54173
tuning
Sun, 20 Oct 2013 22:39:40 +0200 reintroduced parts of 07a8145aaeba that a22ded8a7f7d wrongly took out
blanchet [Sun, 20 Oct 2013 22:39:40 +0200] rev 54172
reintroduced parts of 07a8145aaeba that a22ded8a7f7d wrongly took out
Sun, 20 Oct 2013 21:59:08 +0200 tuning
blanchet [Sun, 20 Oct 2013 21:59:08 +0200] rev 54171
tuning
Sun, 20 Oct 2013 19:23:28 +0200 gracefully handle case where a nested recursive variable appears directly on the rhs of a primcorec equation
blanchet [Sun, 20 Oct 2013 19:23:28 +0200] rev 54170
gracefully handle case where a nested recursive variable appears directly on the rhs of a primcorec equation
Sun, 20 Oct 2013 19:20:08 +0200 tuning
blanchet [Sun, 20 Oct 2013 19:20:08 +0200] rev 54169
tuning
Sun, 20 Oct 2013 19:20:08 +0200 tuning
blanchet [Sun, 20 Oct 2013 19:20:08 +0200] rev 54168
tuning
Sun, 20 Oct 2013 19:20:08 +0200 tuning
blanchet [Sun, 20 Oct 2013 19:20:08 +0200] rev 54167
tuning
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip