isabelle: Changelog

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;

wenzelm [Thu, 16 Apr 2015 15:11:04 +0200] rev 60096

tuned comment;

wenzelm [Thu, 16 Apr 2015 15:00:03 +0200] rev 60095

more explicit bootstrap_thy; clarified error;

wenzelm [Thu, 16 Apr 2015 14:18:32 +0200] rev 60094

explicit error for Toplevel.proof_of; eliminated obsolete Toplevel.unknown_proof; more total Toplevel.proof_position_of;

wenzelm [Thu, 16 Apr 2015 13:48:10 +0200] rev 60093

clarified thy_deps;

isabelle