#1176 (Sep 23, 2017, 9:49:07 PM)

1. merged (detail / hgweb)
2. Added tag Isabelle2017-RC3 for changeset 4f73201b8043 (detail / hgweb)
3. updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb); (detail / hgweb)
4. updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries (detail / hgweb)
5. updated screenshots; (detail / hgweb)
6. misc tuning and updates for release; (detail / hgweb)
7. avoid duplicate message for @{action} in particular (see also @{action} within Pure); (detail / hgweb)
8. more on indentation; (detail / hgweb)
9. clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99); (detail / hgweb)
10. clarified signature according to Scala version; (detail / hgweb)
11. updated version for release; (detail / hgweb)
12. proper result type (cf. b9f5cd845616); (detail / hgweb)
13. recode Unicode text on the spot, e.g. from copy-paste of output; (detail / hgweb)
14. support for workspace edits; (detail / hgweb)
15. store document version; (detail / hgweb)
16. auto update; (detail / hgweb)
17. updated imports; (detail / hgweb)
18. more documentation;
    tuned message; (detail / hgweb)
19. more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java; (detail / hgweb)
20. proper tool name (cf. c1410bcf6e87); (detail / hgweb)
21. proper standard_path to revert platform_path in JEdit_Sessions.session_base; (detail / hgweb)
22. avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings); (detail / hgweb)
23. clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b); (detail / hgweb)
24. spelling (detail / hgweb)
25. clarified signature: proper result; (detail / hgweb)
26. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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