Started 8 days 20 hr ago
Took 1 hr 39 min on master

Success Build #505 (Sep 14, 2017 7:24:12 PM)

Changes
  1. two new simp rules (detail / hgweb)
  2. added lemma (detail / hgweb)
  3. added lemma; zip_with -> map2 (detail / hgweb)
  4. introduced zip_with (detail / hgweb)
  5. added lemma (detail / hgweb)
  6. clarified signature: proper result; (detail / hgweb)
  7. new theorem about exposed faces (detail / hgweb)
  8. back to post-release mode -- after fork point; (detail / hgweb)
  9. tuned; (detail / hgweb)
  10. Added tag Isabelle2017-RC2 for changeset e9d8ff531700 (detail / hgweb)
  11. tuned; (detail / hgweb)
  12. updated for release; (detail / hgweb)
  13. tuned headers; (detail / hgweb)
  14. Lawrence Paulson's contributions (detail / hgweb)
  15. merged (detail / hgweb)
  16. Correction of typos and a bit of streamlining (detail / hgweb)
  17. listed contribution (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.7 sec waiting in the queue;
  • 1 hr 39 min building on an executor;
  • 1 hr 39 min total from scheduled to completion.
Revision: 59acf5e73176393fcd34d900e3bd4a85f3597bde
[Phase] - main
testboard-makeallbuild #505( 1 hr 2 min ) Console Output
testboard-afpbuild #505( 1 hr 38 min ) Console Output