#1138 (Mar 4, 2020, 12:50:10 AM)

1. merged (detail / hgweb)
2. include actions for jEdit dockables, e.g. "vfs.browser"; (detail / hgweb)
3. misc tuning and clarification; (detail / hgweb)
4. infrastructure for extraction of equations x = t from premises beneath meta-all (detail / hgweb)
5. avoid conflict with isabelle.next-error, resulting in odd startup dialog; (detail / hgweb)
6. updated for release; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.