#754 (Oct 3, 2018, 12:50:07 AM)

1. updated windows_app to launch4j 3.12: "fully supports Java 9 and newer"; (detail / hgweb)
2. explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc; (detail / hgweb)
3. reduce tracing messages to make it work in PIDE session; (detail / hgweb)
4. unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.