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;
haftmann [Sun, 29 Jul 2012 21:55:56 +0200] rev 48593
script for downloading components from central store
wenzelm [Sun, 29 Jul 2012 21:40:46 +0200] rev 48592
added build option -f;
haftmann [Sat, 28 Jul 2012 22:01:21 +0200] rev 48591
corrected slip
wenzelm [Sat, 28 Jul 2012 21:10:54 +0200] rev 48590
discontinued $ISABELLE_HOME/build (cf. 500c6eb6c6dc);
wenzelm [Sat, 28 Jul 2012 20:36:25 +0200] rev 48589
separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool;
wenzelm [Sat, 28 Jul 2012 20:27:39 +0200] rev 48588
added Quickcheck_Benchmark (cf. 1959baa22632);