src/HOL/ROOT
Wed, 01 Aug 2012 15:56:36 +0200 wenzelm added offline test for skip_proofs;
Wed, 01 Aug 2012 15:50:50 +0200 wenzelm clarified ISABELLE_FULL_TEST;
Tue, 31 Jul 2012 19:55:04 +0200 wenzelm merged
Tue, 31 Jul 2012 14:43:55 +0200 kuncar Remove Lift_RBT.thy, it's in HOL/Library/RBT.thy now
Tue, 31 Jul 2012 13:55:39 +0200 kuncar add testing file for RBT_Set
Thu, 26 Jul 2012 15:55:19 +0200 bulwahn moved another larger quickcheck example to Quickcheck_Benchmark
Tue, 31 Jul 2012 16:26:12 +0200 wenzelm HOL-Probability appears to work with smlnj;
Tue, 31 Jul 2012 12:38:01 +0200 wenzelm renamed session TLA to HOL-TLA to avoid clash with AFP;
Mon, 30 Jul 2012 12:08:25 +0200 wenzelm updated ROOT according to 3defa60a7ae3;
Sat, 28 Jul 2012 20:36:25 +0200 wenzelm separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool;
Sat, 28 Jul 2012 20:27:39 +0200 wenzelm added Quickcheck_Benchmark (cf. 1959baa22632);
Thu, 26 Jul 2012 13:35:31 +0200 wenzelm tuned;
Thu, 26 Jul 2012 12:27:47 +0200 wenzelm support session groups;
Thu, 26 Jul 2012 11:52:08 +0200 wenzelm discontinued slightly odd session order, which did not quite work out;
Wed, 25 Jul 2012 11:59:22 +0200 wenzelm added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;
Tue, 24 Jul 2012 22:00:12 +0200 wenzelm more files;
Tue, 24 Jul 2012 21:54:49 +0200 wenzelm more build options;
Tue, 24 Jul 2012 21:36:53 +0200 wenzelm tuned order;
Tue, 24 Jul 2012 21:26:28 +0200 wenzelm more build options;
Tue, 24 Jul 2012 20:42:34 +0200 wenzelm more explicit document = false to reduce warnings;
Tue, 24 Jul 2012 18:38:07 +0200 wenzelm more session entries;
Tue, 24 Jul 2012 12:38:33 +0200 wenzelm clarified "document" again, eliminated redundant "no_document";
Tue, 24 Jul 2012 10:11:49 +0200 wenzelm clarified document options;
Sat, 21 Jul 2012 22:13:50 +0200 wenzelm propagate defined options;
Thu, 19 Jul 2012 14:24:40 +0200 wenzelm support Session.Queue with ordering and dependencies;
Wed, 18 Jul 2012 17:22:59 +0200 wenzelm some HOL sessions;
less more (0) tip