Skip to content
Started 5 yr 10 mo ago
Took 5 hr 12 min on built-in
Success

#1772 (Jun 26, 2018, 10:08:52 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. updated documentation; (detail / hgweb)
  4. clarified syntax; (detail / hgweb)
  5. tuned signature; (detail / hgweb)
  6. simplified: allow only command names, with dummy for default; (detail / hgweb)
  7. clarified: more uniform keyword_tags; (detail / hgweb)
  8. tuned; (detail / hgweb)
  9. more flexible document_tags; (detail / hgweb)
  10. prefer explicit options;
    tuned; (detail / hgweb)
  11. clarified default tag; (detail / hgweb)
  12. add URL; (detail / hgweb)
  13. tuned; (detail / hgweb)
  14. more explicit statement of rat_denum to fit with top100 thms list (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 5 hr 12 min build duration;
  • 5 hr 17 min total from scheduled to completion.
Revision: 0854edc4d415b4fad6d8751cafa74702fa79e71f
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1772( 1 hr 0 min )Console Output
isabelle-repo-afpbuild #1772( 1 hr 44 min )Console Output