#1306 (Oct 16, 2020, 12:50:06 AM)

1. remove unsupported max-time option from veriT calls (detail / hgweb)
2. more standard Value.print_time; (detail / hgweb)
3. disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS; (detail / hgweb)
4. proper support for Windows exe; (detail / hgweb)
5. proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.