src/HOL/ROOT
2012-08-23 wenzelm 2012-08-23 more basic file dependencies -- no load command here;
2012-08-11 nipkow 2012-08-11 special code with lists no longer necessary, use sets
2012-08-08 wenzelm 2012-08-08 simplified session specifications: names are taken verbatim and current directory is default;
2012-08-07 wenzelm 2012-08-07 tuned;
2012-08-06 wenzelm 2012-08-06 more precise imitation of old ROOT.ML files;
2012-08-04 wenzelm 2012-08-04 some timeouts, which modify the build order;
2012-08-01 wenzelm 2012-08-01 added offline test for skip_proofs;
2012-08-01 wenzelm 2012-08-01 clarified ISABELLE_FULL_TEST;
2012-07-31 wenzelm 2012-07-31 merged
2012-07-31 kuncar 2012-07-31 Remove Lift_RBT.thy, it's in HOL/Library/RBT.thy now
2012-07-31 kuncar 2012-07-31 add testing file for RBT_Set
2012-07-26 bulwahn 2012-07-26 moved another larger quickcheck example to Quickcheck_Benchmark
2012-07-31 wenzelm 2012-07-31 HOL-Probability appears to work with smlnj;
2012-07-31 wenzelm 2012-07-31 renamed session TLA to HOL-TLA to avoid clash with AFP;
2012-07-30 wenzelm 2012-07-30 updated ROOT according to 3defa60a7ae3;
2012-07-28 wenzelm 2012-07-28 separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool;
2012-07-28 wenzelm 2012-07-28 added Quickcheck_Benchmark (cf. 1959baa22632);
2012-07-26 wenzelm 2012-07-26 tuned;
2012-07-26 wenzelm 2012-07-26 support session groups; tuned signature;
2012-07-26 wenzelm 2012-07-26 discontinued slightly odd session order, which did not quite work out;
2012-07-25 wenzelm 2012-07-25 added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;
2012-07-24 wenzelm 2012-07-24 more files;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 tuned order;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 more explicit document = false to reduce warnings; tuned;
2012-07-24 wenzelm 2012-07-24 more session entries;
2012-07-24 wenzelm 2012-07-24 clarified "document" again, eliminated redundant "no_document";
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-21 wenzelm 2012-07-21 propagate defined options; misc tuning;
2012-07-19 wenzelm 2012-07-19 support Session.Queue with ordering and dependencies;
2012-07-18 wenzelm 2012-07-18 some HOL sessions;