#1311 (Nov 27, 2017, 11:58:04 AM)

1. proper context (as in 'term' command); (detail / hgweb)
2. proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit; (detail / hgweb)
3. more symbols; (detail / hgweb)
4. prefer Input.source (via cartouche); (detail / hgweb)
5. updated documentation: JVM is always 64bit; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 43 min total from scheduled to completion.