isabelle: Changelog

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;

wenzelm [Thu, 16 Apr 2015 13:39:21 +0200] rev 60092

tuned;

wenzelm [Thu, 16 Apr 2015 12:37:30 +0200] rev 60091

tuned signature;

wenzelm [Thu, 16 Apr 2015 12:03:43 +0200] rev 60090

misc tuning and clarification;

wenzelm [Thu, 16 Apr 2015 11:22:36 +0200] rev 60089

let the system choose Graph_Display.display_graph_old: thm_deps needs tree hierarchy, code_deps needs cycles (!?);

isabelle