#1594 (Nov 9, 2021, 12:50:10 AM)

1. explicit option metric_argo_timeout, with reasonable default for Raspberry Pi; (detail / hgweb)
2. tuned; (detail / hgweb)
3. repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process); (detail / hgweb)
4. discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do; (detail / hgweb)
5. clarified messages, depending on option "document_echo"; (detail / hgweb)
6. just one cache, via HTML_Context, via Sessions.Store or Session; (detail / hgweb)
7. merged (detail / hgweb)
8. new lemmas about convex, concave functions, + tidying (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.