Started 21 hr ago
Took 1 hr 14 min on workermtahpc

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

Build Artifacts
Changes
  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.
Revision: 5ae395abea60875dea39e1eb5c1510ab348dcdd4