#486 (Nov 28, 2017, 12:50:11 AM)

1. clarified description for mixed Mavericks / El Capitan system; (detail / hgweb)
2. updated documentation; (detail / hgweb)
3. prefer formal $POLYML_EXE; (detail / hgweb)
4. clarified main sessions; (detail / hgweb)
5. updated to official release of polyml-5.7.1;
   back to more modest default heap: e.g. relevant for Pure session for ML IDE;
   more robust POLYML_EXE; (detail / hgweb)
6. suppress warning; (detail / hgweb)
7. retain files in Pure.thy, notably $POLYML_EXE; (detail / hgweb)
8. proper context (as in 'term' command); (detail / hgweb)
9. proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit; (detail / hgweb)
10. more symbols; (detail / hgweb)
11. prefer Input.source (via cartouche); (detail / hgweb)
12. updated documentation: JVM is always 64bit; (detail / hgweb)

Started by an SCM change

This run spent:

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