unused;

tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);

clarified signature;

removed pointless option (see 3d0952893db8);

tuned --- avoid redundant future tasks from already loaded theories;

no comment --- topological order appears to be fine since 04-Mar-2013;

more predictable sequential presentation (2f9877db82a1), without somewhat pointless result_ord (e7fab0b5dbe7);

moved stride option from sledgehammer action to main mirabelle

merged

new lemmas mostly about paths

lexorders the locale way

more accurate export morphism enables proper instantiation by interpretation

merged

some new and/or varient results about images

nicer statement of Liouville_theorem

more lemmas

max word moved to Word_Lib in AFP

more robust syntax;

unused;

clarified document export names;

tuned signature;

tuned;

tuned;

avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;

compose Latex text as XML, output exported YXML in Isabelle/Scala;

more direct index_entry: no positions required -- text is eventually moved to .ind file;

clarified signature;

clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");

tuned message, e.g. for Pure bootstrap;

proper signature export (amending b50f8cc8c08e);

syslog option for "isabelle build";

further "unset CDPATH", whenever a new non-interactive bash is started (see also ac07f6be27ea);

merged

NEWS;

clarified index, more like formal @{element_ref};

clarified treatment of type constructors;

misc tuning and clarification;

tuned signature;

clarified context;

more uniform document antiquotations for ML: consolidate former setup for manuals;

clarified names;

clarified index antiquotation for ML: more ambitious type-setting, more accurate syntax;

clarified modules;

clarified modules;

tuned;

clarified signature: avoid dispatch via name;

clarified, e.g. type variables;

tuned index;