proper imports;

support session groups; tuned signature;

discontinued slightly odd session order, which did not quite work out;

tuned signature;

avoid clash of Advanced/simp.thy vs. Misc/simp.thy;

tuned signature;

actually check source vs. target stamps, based on information from log files;

tuned;

session specifications for doc-src, excluding TutorialI for now;

updated generated files;

clarified no_document situation;

no hardwired default for Proof General component -- its users can use init_component separately;

rail no longer exists;

some updates on "Building a repository version of Isabelle";

added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;

more standard session setup for WWW_Find;

read/write dependency information; tuned signature;

more files;

more build options;

merged

moving a first Quickcheck example with many computations into a separate session Quickcheck_Benchmark

moving Quickcheck_Examples back to test to run a minimal test even with the mira testing infrastructure

reactivated HOL-NSA-Examples;

tuned order;

more build options;

tuned error;

more explicit checks during parsing;

more explicit document = false to reduce warnings; tuned;

pass parent_base_name, which is required for Session.init sanity check; tuned message;

more session entries;