Build #155 (Jan 21, 2019 11:03:12 AM)

1. Added triangular numbers (detail / hgweb)
2. dedicated combinator for declarations nested in a local theory block (detail / hgweb)
3. more conventional parsing of code_stmts antiquotation (detail / hgweb)
4. more conventional syntax for code_stmts antiquotation (detail / hgweb)
5. avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts; (detail / hgweb)
6. algebraized more material from theory Divides (detail / hgweb)
7. tuned output; (detail / hgweb)
8. more official AFP.groups;
   clarified bulky sessions; (detail / hgweb)
9. auto-update for some experimental components; (detail / hgweb)
10. clarified URLs: prefer sketis over bitbucket; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.