wenzelm [Mon, 04 Jul 2011 20:18:19 +0200] rev 44531
explicit class Counter;
wenzelm [Mon, 04 Jul 2011 16:54:58 +0200] rev 44530
merged
wenzelm [Mon, 04 Jul 2011 16:51:45 +0200] rev 44529
pervasive Basic_Library in Scala;
tuned;
wenzelm [Mon, 04 Jul 2011 16:27:11 +0200] rev 44528
some support for theory files within Isabelle/Scala session;
wenzelm [Mon, 04 Jul 2011 13:43:10 +0200] rev 44527
imitate exception ERROR of Isabelle/ML;
wenzelm [Sun, 03 Jul 2011 19:53:35 +0200] rev 44526
eliminated null;
wenzelm [Sun, 03 Jul 2011 19:42:32 +0200] rev 44525
more explicit edit_node vs. init_node;
some support for master_dir and header;
wenzelm [Sun, 03 Jul 2011 15:10:17 +0200] rev 44524
tuned signature;
wenzelm [Sat, 02 Jul 2011 23:31:07 +0200] rev 44523
Thy_Header.read convenience;
wenzelm [Sat, 02 Jul 2011 23:04:19 +0200] rev 44522
some support for Session.File_Store;