src/HOL/ROOT
2012-10-17 wenzelm 2012-10-17 HOL-BNF-Examples is sequential for now, due to spurious interrupts (again);
2012-10-16 popescua 2012-10-16 update ROOT with teh directory change in BNF
2012-10-03 blanchet 2012-10-03 thread the right local theory through + reenable parallel proofs for previously problematic theories
2012-09-27 blanchet 2012-09-27 modernized examples; removed now trivial "HFset"
2012-09-26 blanchet 2012-09-26 disable parallel proofs for two big examples -- speeds up things and eliminates spurious Interrupt exceptions (to be investigated)
2012-09-21 blanchet 2012-09-21 changed base session for "HOL-BNF" for faster building in the typical case
2012-09-21 blanchet 2012-09-21 created separate session "HOL-BNF-LFP" as a step towards eventual integration in "HOL" in the middle term
2012-09-21 blanchet 2012-09-21 renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
2012-09-20 blanchet 2012-09-20 the Codatatype package currently needs all of Cardinals (temporary -- because of countable sets)
2012-09-19 wenzelm 2012-09-19 reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc);
2012-09-18 popescua 2012-09-18 added top-level theory for Cardinals
2012-09-17 wenzelm 2012-09-17 bypass HOL-Mirabelle-ex in regular test, until its tendency to "hang" has been resolved;
2012-09-13 wenzelm 2012-09-13 workaround for HOL-Mirabelle-ex oddities;
2012-09-12 blanchet 2012-09-12 renamed "Ordinals_and_Cardinals" to "Cardinals"
2012-09-04 traytel 2012-09-04 eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91)
2012-08-29 Christian Sternagel 2012-08-29 renamed theory List_Prefix into Sublist (since it is not only about prefixes)
2012-08-28 wenzelm 2012-08-28 do not hardwire document output options -- to be provided by the user;
2012-08-28 blanchet 2012-08-28 tuning
2012-08-28 blanchet 2012-08-28 documentation cleanup
2012-08-28 blanchet 2012-08-28 added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)
2012-08-19 wenzelm 2012-08-19 actual use of (sos remote_csdp) via ISABELLE_FULL_TEST;
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;