#491 (Dec 5, 2017, 12:50:07 AM)

1. merged (detail / hgweb)
2. NEWS; (detail / hgweb)
3. added action to make antiquoted cartouche; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit; (detail / hgweb)
7. clarified control style; (detail / hgweb)
8. font style for literal control symbols, notably for antiquotations; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned comments; (detail / hgweb)
11. more lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.