#849 (Jan 21, 2019, 12:50:11 AM)

1. 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)
2. algebraized more material from theory Divides (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.