2012-08-21 wenzelm 2012-08-21 clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-21 wenzelm 2012-08-21 tuned;
2012-08-20 wenzelm 2012-08-20 more robust cleaning of "% tag" and "-- cmt";
2012-08-20 wenzelm 2012-08-20 some support for inlining file content into outer syntax token language;
2012-08-20 wenzelm 2012-08-20 tuned comment;
2012-08-20 wenzelm 2012-08-20 tuned;
2012-08-20 wenzelm 2012-08-20 added keyword kind "thy_load" (with optional list of file extensions);
2012-08-20 wenzelm 2012-08-20 updated generated files;
2012-08-20 wenzelm 2012-08-20 more strict syntax, according to manual;
2012-08-20 nipkow 2012-08-20 abstracted lemma
2012-08-19 wenzelm 2012-08-19 retain unknown options within preferences; tuned print;
2012-08-19 wenzelm 2012-08-19 more comprehensible platform family name;
2012-08-19 wenzelm 2012-08-19 tuned message;
2012-08-19 wenzelm 2012-08-19 fewer components, more roots;
2012-08-19 wenzelm 2012-08-19 actually remove makeall (cf. 292b97e17fb7);
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-17 wenzelm 2012-08-17 Backed out changeset ec82c33c75f8;
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