wenzelm [Sat, 28 Jul 2012 19:48:19 +0200] rev 48582
tuned;
wenzelm [Sat, 28 Jul 2012 19:38:52 +0200] rev 48581
added generated file;
wenzelm [Sat, 28 Jul 2012 19:37:35 +0200] rev 48580
some description of main build options;
wenzelm [Sat, 28 Jul 2012 18:20:47 +0200] rev 48579
more on "Session ROOT specifications";
wenzelm [Sat, 28 Jul 2012 15:21:49 +0200] rev 48578
some description of isabelle build;
wenzelm [Sat, 28 Jul 2012 14:52:56 +0200] rev 48577
tuned;
wenzelm [Sat, 28 Jul 2012 13:29:56 +0200] rev 48576
isabelle browser is another user interface;
wenzelm [Sat, 28 Jul 2012 13:18:34 +0200] rev 48575
renamed isabelle-root minor mode;
wenzelm [Sat, 28 Jul 2012 13:11:58 +0200] rev 48574
discontinued special treatment of Proof General;
wenzelm [Sat, 28 Jul 2012 13:01:48 +0200] rev 48573
top-down order of user interfaces;
wenzelm [Sat, 28 Jul 2012 12:59:53 +0200] rev 48572
misc tuning;
huffman [Sat, 28 Jul 2012 07:26:37 +0200] rev 48571
move exception handlers outside of let block
wenzelm [Fri, 27 Jul 2012 23:14:55 +0200] rev 48570
tuned message;
wenzelm [Fri, 27 Jul 2012 22:28:30 +0200] rev 48569
merged
haftmann [Fri, 27 Jul 2012 22:26:38 +0200] rev 48568
evaluation: allow multiple code modules
wenzelm [Fri, 27 Jul 2012 22:23:00 +0200] rev 48567
tuned proofs -- avoid odd situations of polymorphic Frees in goal state;