some explanations on component categories;

specific cygwin components;

obsolete;

some explanations on isabelle components;

some grouping of components;

renamed components to components_old, to make room for some directory of the same name;

minor robustification;

added "isabelle components" tool;

tuned;

direct support for component forests via init_components; explicit ISABELLE_COMPONENTS_MISSING;

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";

tuned;

tuned;

updated component repository;

updates on 32 bit vs. 64 bit platforms; added Mountain Lion; dropped Leopard; tuned;

updated to jedit_build-20120813, pointing to another contrib directory as a change;

merged

tuned proofs;

look in current directory first before looking up includes in the TPTP directory, as required by Geoff

prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala

more robust multi-platform support;

updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;

support for jdk-7u6 component;

Clarification: free variables allowed in interpreted locale instances.

merged

fixed proof

abstracted lemmas

Backed out changeset 6cf7a9d8bbaf

abstracted lemmas

merged

Turned into Admin tool download_components.

tuned;