Mon, 30 Jul 2012 12:03:48 +0200 added build option -c;
wenzelm [Mon, 30 Jul 2012 12:03:48 +0200] rev 48595
added build option -c; tuned;
Mon, 30 Jul 2012 11:03:44 +0200 removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;
wenzelm [Mon, 30 Jul 2012 11:03:44 +0200] rev 48594
removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;
Sun, 29 Jul 2012 21:55:56 +0200 script for downloading components from central store
haftmann [Sun, 29 Jul 2012 21:55:56 +0200] rev 48593
script for downloading components from central store
Sun, 29 Jul 2012 21:40:46 +0200 added build option -f;
wenzelm [Sun, 29 Jul 2012 21:40:46 +0200] rev 48592
added build option -f;
Sat, 28 Jul 2012 22:01:21 +0200 corrected slip
haftmann [Sat, 28 Jul 2012 22:01:21 +0200] rev 48591
corrected slip
Sat, 28 Jul 2012 21:10:54 +0200 discontinued $ISABELLE_HOME/build (cf. 500c6eb6c6dc);
wenzelm [Sat, 28 Jul 2012 21:10:54 +0200] rev 48590
discontinued $ISABELLE_HOME/build (cf. 500c6eb6c6dc);
Sat, 28 Jul 2012 20:36:25 +0200 separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool;
wenzelm [Sat, 28 Jul 2012 20:36:25 +0200] rev 48589
separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool;
Sat, 28 Jul 2012 20:27:39 +0200 added Quickcheck_Benchmark (cf. 1959baa22632);
wenzelm [Sat, 28 Jul 2012 20:27:39 +0200] rev 48588
added Quickcheck_Benchmark (cf. 1959baa22632);
Sat, 28 Jul 2012 20:20:35 +0200 no apparent need for single-threaded execution;
wenzelm [Sat, 28 Jul 2012 20:20:35 +0200] rev 48587
no apparent need for single-threaded execution;
Sat, 28 Jul 2012 20:18:15 +0200 discontinued obsolete Isabelle/build script;
wenzelm [Sat, 28 Jul 2012 20:18:15 +0200] rev 48586
discontinued obsolete Isabelle/build script;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip