Mon, 21 Oct 2013 09:31:19 +0200 tuning
blanchet [Mon, 21 Oct 2013 09:31:19 +0200] rev 54180
tuning
Mon, 21 Oct 2013 09:14:05 +0200 warn about incompatible recursor signature
blanchet [Mon, 21 Oct 2013 09:14:05 +0200] rev 54179
warn about incompatible recursor signature
Mon, 21 Oct 2013 08:27:51 +0200 more informative abort
blanchet [Mon, 21 Oct 2013 08:27:51 +0200] rev 54178
more informative abort
Mon, 21 Oct 2013 07:50:32 +0200 tuning
blanchet [Mon, 21 Oct 2013 07:50:32 +0200] rev 54177
tuning
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip