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

added E-MaLeS to list of provers for testing

discontinued unused etc/sessions catalog;

allow session specifications in arbitrary order;

tuned;

report commands as formal entities, with def/ref positions;

more official command specifications, including source position;

more antiquotations;

declare keywords only once;

more antiquotations;

more antiquotations;

more standard bootstrapping of Pure outer syntax;

fixed document;

store parent heap stamp as well -- needs to be propagated through the build hierarchy; misc tuning;

more standard bootstrapping of Pure.thy;