Tue, 13 May 2014 11:10:23 +0200 hide more internal names
blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 56946
hide more internal names
Tue, 13 May 2014 11:10:22 +0200 tuning
blanchet [Tue, 13 May 2014 11:10:22 +0200] rev 56945
tuning
Tue, 13 May 2014 10:15:50 +0200 no reset for 'end' -- e.g. relevant for 'notepad';
wenzelm [Tue, 13 May 2014 10:15:50 +0200] rev 56944
no reset for 'end' -- e.g. relevant for 'notepad';
Tue, 13 May 2014 09:21:22 +0200 updated keywords
traytel [Tue, 13 May 2014 09:21:22 +0200] rev 56943
updated keywords
Tue, 13 May 2014 09:21:22 +0200 bnf_decl -> bnf_axiomatization
traytel [Tue, 13 May 2014 09:21:22 +0200] rev 56942
bnf_decl -> bnf_axiomatization
Mon, 12 May 2014 17:17:32 +0200 tuned signature to make axiomatizations more easy to spot in the source, via "add_axioms" or "axiomatization";
wenzelm [Mon, 12 May 2014 17:17:32 +0200] rev 56941
tuned signature to make axiomatizations more easy to spot in the source, via "add_axioms" or "axiomatization";
Mon, 12 May 2014 00:13:38 +0200 Replaced refute with nitpick.
webertj [Mon, 12 May 2014 00:13:38 +0200] rev 56940
Replaced refute with nitpick.
Mon, 12 May 2014 12:38:17 +0200 NEWS;
wenzelm [Mon, 12 May 2014 12:38:17 +0200] rev 56939
NEWS;
Mon, 12 May 2014 12:31:33 +0200 tuned message;
wenzelm [Mon, 12 May 2014 12:31:33 +0200] rev 56938
tuned message;
Mon, 12 May 2014 12:01:02 +0200 smarter recovery from toplevel type error;
wenzelm [Mon, 12 May 2014 12:01:02 +0200] rev 56937
smarter recovery from toplevel type error;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip