Summary
- merged
- detect old log files (early 2016);
- explicit support for multiple regexes;
- some derived data fields, to facilitate queries;
- tuned signature;
- Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.VldMQI
- Simplification of some proofs. Also key lemmas using !! rather than ! in premises
- more general pattern;
- more timing;
- proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
- suppress build_log_snapshot: too bulky;