some timeouts, which modify the build order;

queue ordering by descending outdegree and timeout;

tuned import;

clarified Session_Tree (with proper integrity check) vs. Queue (with provision for alternative ordering);

clarified Session_Entry vs. Session_Info with related parsing operations; more error positions;

simplified class Job; tuned message;

let with_timing report overall number of threads;

further robustification of interrupts during build;

refined outer syntax;

prefer calligrapic \<RR> \<II> over \<Re> \<Im> for "screen" display (NB: official unicode defines only one version of these glyphs, unlike TeX);

remember ATP flops to avoid repeating them too quickly

remember which MaSh proofs were found using ATPs

rule out same "technical" theories for MePo as for MaSh

don't generate queries for empty dependencies

crank up max number of dependencies

never use MaSh in Metis examples, to avoid one dimension of nondeterminism

merged

more informative process exit code;

timeout for session build job; tuned error messages;

static outer syntax based on session specifications;

declare trE and tr_induct as default cases and induct rules for type tr

reject path variable nesting explicitly;

simplified custom document/build script, instead of old-style document/IsaMakefile;

cleaner temporary file cleanup for MaSh, based on tried-and-trusted code

merged

don't tag negatively naked variables

support older versions of Vampire

document E-MaLeS