2012-08-17 webertj 2012-08-17 Typo fixed.
2012-08-17 wenzelm 2012-08-17 merged
2012-08-17 nipkow 2012-08-17 merged
2012-08-17 nipkow 2012-08-17 fixed lemmas
2012-08-16 nipkow 2012-08-16 abstracted lemmas
2012-08-17 wenzelm 2012-08-17 updated to new init_components, hoping that mira can digest that;
2012-08-17 wenzelm 2012-08-17 some explanations on component categories;
2012-08-17 wenzelm 2012-08-17 specific cygwin components;
2012-08-17 wenzelm 2012-08-17 obsolete;
2012-08-17 wenzelm 2012-08-17 some explanations on isabelle components;
2012-08-17 wenzelm 2012-08-17 some grouping of components;
2012-08-17 wenzelm 2012-08-17 renamed components to components_old, to make room for some directory of the same name;
2012-08-17 wenzelm 2012-08-17 minor robustification;
2012-08-17 wenzelm 2012-08-17 added "isabelle components" tool;
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-17 wenzelm 2012-08-17 direct support for component forests via init_components; explicit ISABELLE_COMPONENTS_MISSING;
2012-08-17 wenzelm 2012-08-17 allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira; clarified spaces in file names -- ISABELLE_HOME is non-critical after abolishment of "make";
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-17 wenzelm 2012-08-17 updated component repository;
2012-08-17 wenzelm 2012-08-17 updates on 32 bit vs. 64 bit platforms; added Mountain Lion; dropped Leopard; tuned;
2012-08-17 wenzelm 2012-08-17 updated to jedit_build-20120813, pointing to another contrib directory as a change;
2012-08-16 wenzelm 2012-08-16 merged
2012-08-16 wenzelm 2012-08-16 tuned proofs;
2012-08-16 blanchet 2012-08-16 look in current directory first before looking up includes in the TPTP directory, as required by Geoff
2012-08-16 haftmann 2012-08-16 prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala
2012-08-16 wenzelm 2012-08-16 more robust multi-platform support;
2012-08-16 wenzelm 2012-08-16 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
2012-08-16 wenzelm 2012-08-16 support for jdk-7u6 component;
2012-08-15 ballarin 2012-08-15 Clarification: free variables allowed in interpreted locale instances.
2012-08-15 nipkow 2012-08-15 merged
2012-08-15 nipkow 2012-08-15 fixed proof
2012-08-15 nipkow 2012-08-15 abstracted lemmas
2012-08-15 nipkow 2012-08-15 Backed out changeset 6cf7a9d8bbaf
2012-08-15 nipkow 2012-08-15 abstracted lemmas
2012-08-15 webertj 2012-08-15 merged
2012-08-15 webertj 2012-08-15 Turned into Admin tool download_components.
2012-08-15 wenzelm 2012-08-15 tuned;
2012-08-15 wenzelm 2012-08-15 tuned;
2012-08-15 wenzelm 2012-08-15 some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
2012-08-15 wenzelm 2012-08-15 tuned;
2012-08-15 blanchet 2012-08-15 fixed handling of "int" in the wake of its port to the quotient package
2012-08-15 blanchet 2012-08-15 removed dead code
2012-08-15 webertj 2012-08-15 merged
2012-08-15 webertj 2012-08-15 Added various options, notably -c to download components listed in Admin/components. Also, curl instead of wget.
2012-08-14 wenzelm 2012-08-14 ignore some administrative files on newer Mercurial versions as well;
2012-08-14 wenzelm 2012-08-14 some support for persistent user preferences;
2012-08-14 wenzelm 2012-08-14 merged
2012-08-14 wenzelm 2012-08-14 explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14 wenzelm 2012-08-14 more direct interpretation of document_variants for build (unchanged for usedir);
2012-08-14 blanchet 2012-08-14 tone down "z3_tptp", now that Z3 (starting with 4.1) no longer supports TPTP TFF0
2012-08-14 blanchet 2012-08-14 fixed then-else confusion
2012-08-14 blanchet 2012-08-14 tweak Vampire setup in the light of new evaluation
2012-08-14 blanchet 2012-08-14 improved set of reconstructor methods
2012-08-14 blanchet 2012-08-14 warn users about unused "using" facts
2012-08-14 blanchet 2012-08-14 be less aggressive at kicking out chained facts
2012-08-14 blanchet 2012-08-14 recognize bus errors as crash
2012-08-14 blanchet 2012-08-14 consider removing chained facts last, so that they're more likely to be kept
2012-08-14 wenzelm 2012-08-14 clarified format of etc/options: only declarations, not re-definitions;
2012-08-14 wenzelm 2012-08-14 check_errors for cumulative session content;