isabelle: Changelog

wenzelm [Mon, 04 Jul 2011 13:43:10 +0200] rev 43650

imitate exception ERROR of Isabelle/ML;

wenzelm [Sun, 03 Jul 2011 19:53:35 +0200] rev 43649

eliminated null;

wenzelm [Sun, 03 Jul 2011 19:42:32 +0200] rev 43648

more explicit edit_node vs. init_node; some support for master_dir and header;

wenzelm [Sun, 03 Jul 2011 15:10:17 +0200] rev 43647

tuned signature;

wenzelm [Sat, 02 Jul 2011 23:31:07 +0200] rev 43646

Thy_Header.read convenience;

wenzelm [Sat, 02 Jul 2011 23:04:19 +0200] rev 43645

some support for Session.File_Store;

wenzelm [Sat, 02 Jul 2011 21:24:19 +0200] rev 43644

tuned signature;

wenzelm [Sat, 02 Jul 2011 20:54:38 +0200] rev 43643

eliminated redundant session_ready;

wenzelm [Sat, 02 Jul 2011 20:22:02 +0200] rev 43642

tuned;

wenzelm [Sat, 02 Jul 2011 19:22:06 +0200] rev 43641

uniform finish_thy -- always Global_Theory.join_proofs, even with sequential scheduling;

isabelle