Started 45 min ago
Build has been executing for 45 min on workermta1

Progress:
In progress Build #2033 (May 27, 2020 4:39:03 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. more NEWS; (detail / hgweb)
  2. more documentation on Isabelle/Scala; (detail / hgweb)
  3. proper error positions; (detail / hgweb)
  4. tuned; (detail / hgweb)
  5. tuned whitespace; (detail / hgweb)
  6. more antiquotations; (detail / hgweb)
  7. check bash functions against Isabelle settings environment; (detail / hgweb)
  8. misc tuning; (detail / hgweb)
  9. breakable scala_name; (detail / hgweb)
  10. tuned signature; (detail / hgweb)
  11. discontinued pointless document antiquotation; (detail / hgweb)
  12. proper check of example; (detail / hgweb)
  13. clarified signature --- fit within limit of 22 arguments; (detail / hgweb)
  14. tuned; (detail / hgweb)
  15. tuned; (detail / hgweb)

Started by an SCM change

This run spent 2 min 0 sec waiting in the queue.

Revision: 0dc67ae4a4c7c7bb5c50f996d68a4c40a9df2157
Revision: 5a77ba9e257ff0357bb40d18c04a3580afe74b97