isabelle: Changelog

wenzelm [Fri, 17 Apr 2015 11:28:57 +0200] rev 60106

allow to exclude session groups;

Lars Hupel <lars.hupel@mytum.de> [Fri, 17 Apr 2015 09:56:12 +0200] rev 60105

merged

Lars Hupel <lars.hupel@mytum.de> [Thu, 16 Apr 2015 17:52:12 +0200] rev 60104

removed trivial lemmas

wenzelm [Thu, 16 Apr 2015 23:16:22 +0200] rev 60103

proper Theory.check;

wenzelm [Thu, 16 Apr 2015 23:01:33 +0200] rev 60102

make SML/NJ happy;

wenzelm [Thu, 16 Apr 2015 20:54:01 +0200] rev 60101

merged;

wenzelm [Thu, 16 Apr 2015 17:26:15 +0200] rev 60100

clarified document antiquotation: same check as in ML antiquotation;

wenzelm [Thu, 16 Apr 2015 17:18:48 +0200] rev 60099

formal Theory.check, with markup and completion;

wenzelm [Thu, 16 Apr 2015 16:19:39 +0200] rev 60098

tuned;

wenzelm [Thu, 16 Apr 2015 15:22:44 +0200] rev 60097

discontinued pointless warnings: commands are only defined inside a theory context;

isabelle