#1312 (Nov 27, 2017, 5:19:05 PM)

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)

Started by an SCM change

This run spent:

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