tuned signature;

tuned;

refined recovery of scan errors: longest prefix of delimited token after failure, otherwise just one symbol;

explicit FIXME;

tuned signature;

corrected header

refined isabelle mkroot; allow empty 'theories' to facilitate generated templates;

simplified session specifications: names are taken verbatim and current directory is default;

added build option -D: include session directory and select its sessions;

discontinued obsolete "isabelle makeall";

even more permissive approximation of master_dir, which is only required to access external resources ('uses' etc.);

back to implicit commit via isabelle-process -- save image only once (cf. 181b91e1d1c1);

proper axiomatization of "mem" -- do not leave it formally unspecified;

simplified Pure bootstrap -- separate pure_setup.ML was required for Alice/ML at some point;

more casual exit back to ML toplevel, to accomodate commit in SML/NJ which continues at the saved point;

obsolete;

eliminated obsolete ISABELLE_USEDIR_OPTIONS;

updated ML settings;

add legacy target for HOL-Probability, needed by AFP/Markov_Models

proper isabelle update_keywords tool;

configure Admin as component, with its own lib/Tools;

SOMEthing went utterly wrong in 5b51ccdc8623;

more legacy targets;

discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;

tuned;

proper quoting

merged

more structural parsing for minor modes; tuned signatures;

clarified Sidekick configuration, including minor modes;

stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users