#1320 (Dec 4, 2017, 11:49:47 PM)

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)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.