allow catalog entries to be commented-out;

support external processes with explicit environment;

include COMPONENT/etc/sessions as catalog for more directories, for improved scalability with hundreds of entries (notably AFP); misc tuning and simplification;

less redundant data structures;

clarified topological ordering: preserve order of adjacency via reverse fold;

support Session.Queue with ordering and dependencies;

clarified signature;

more explicit treatment of initial Pure sessions;

more general support for Isabelle/Scala command line tools;

tuned width;

prefer general Properties.Value.Boolean;

more SHA1.digest operations;

tuned import;

tuned source structure;

allow explicit specification of additional session directories;

more errors;

some HOL sessions;

cumulate semantic Session_Info, based on syntactic Session_Entry; tuned errors;

more tight treatment of reset_name;

more informative errors;

added parser for Session_Info;

repair MaSh exporter

optimize parent computation in MaSh + remove temporary files

make the monomorphizer more predictable by making the cutoff independent on the number of facts

speed up MaSh queries

use better score function, based on previous evaluation (cf. Deduct 2011 slides)

attempt at meshing according to more meaningful factors

don't include hidden facts in relevance filter + tweak MaSh learning

removed debugging output

removed expensive HO check in MaSh