wenzelm [Mon, 30 Jul 2012 14:29:12 +0200] rev 48603
discontinued unused isabelle jedit debugger;
tuned;
wenzelm [Mon, 30 Jul 2012 14:11:29 +0200] rev 48602
more uniform usage of "isabelle tool";
wenzelm [Mon, 30 Jul 2012 13:48:56 +0200] rev 48601
less verbosity;
wenzelm [Mon, 30 Jul 2012 13:44:40 +0200] rev 48600
proper treatment of eof wrt. proper_input -- allow input of spaces/comments only;
wenzelm [Mon, 30 Jul 2012 13:42:45 +0200] rev 48599
tuned signature;
wenzelm [Mon, 30 Jul 2012 12:08:25 +0200] rev 48598
updated ROOT according to 3defa60a7ae3;
wenzelm [Mon, 30 Jul 2012 12:04:37 +0200] rev 48597
merged
bulwahn [Mon, 30 Jul 2012 10:59:33 +0200] rev 48596
re-activating Quickcheck_Narrowing_Examples in Quickcheck_Examples
wenzelm [Mon, 30 Jul 2012 12:03:48 +0200] rev 48595
added build option -c;
tuned;
wenzelm [Mon, 30 Jul 2012 11:03:44 +0200] rev 48594
removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;