Started 3 mo 29 days ago
Took 1 hr 44 min on workermta1

Success Build #962 (Mar 24, 2019 7:44:05 PM)

Build Artifacts
Changes

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

  1. clarified markup; (detail / hgweb)
  2. clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax; (detail / hgweb)
  3. tuned; (detail / hgweb)
  4. clarified spell-checking (see also 30233285270a); (detail / hgweb)
  5. more accurate markup; (detail / hgweb)
  6. clarified signature; (detail / hgweb)
  7. more markup for various text kinds, notably for nested formal comments; (detail / hgweb)
  8. tuned whitespace; (detail / hgweb)
  9. clarified rendering: use COMMENT4 elsewhere; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 1 hr 44 min build duration;
  • 1 hr 46 min total from scheduled to completion.
Revision: 4e98239aa08375bafed41425e104422a3925f894
Revision: ddbc38c5dfbf17ddaaa6d46c6d2fe4084d580d62