isabelle: Changelog

blanchet [Tue, 13 May 2014 11:11:51 +0200] rev 56948

more bnf_decl -> bnf_axiomatization

blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 56947

tuned docs

blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 56946

hide more internal names

blanchet [Tue, 13 May 2014 11:10:22 +0200] rev 56945

tuning

wenzelm [Tue, 13 May 2014 10:15:50 +0200] rev 56944

no reset for 'end' -- e.g. relevant for 'notepad';

traytel [Tue, 13 May 2014 09:21:22 +0200] rev 56943

updated keywords

traytel [Tue, 13 May 2014 09:21:22 +0200] rev 56942

bnf_decl -> bnf_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";

webertj [Mon, 12 May 2014 00:13:38 +0200] rev 56940

Replaced refute with nitpick.

wenzelm [Mon, 12 May 2014 12:38:17 +0200] rev 56939

NEWS;

isabelle