isabelle: Changelog

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);

wenzelm [Sat, 28 Jul 2012 20:20:35 +0200] rev 48587

no apparent need for single-threaded execution;

wenzelm [Sat, 28 Jul 2012 20:18:15 +0200] rev 48586

discontinued obsolete Isabelle/build script;

wenzelm [Sat, 28 Jul 2012 20:12:47 +0200] rev 48585

announce advanced support for Isabelle sessions and build management;

wenzelm [Sat, 28 Jul 2012 20:07:21 +0200] rev 48584

some introduction on sessions;

wenzelm [Sat, 28 Jul 2012 19:49:09 +0200] rev 48583

tuned messages;

isabelle