Skip to content
Started 7 yr 0 mo ago
Took 3 hr 1 min on built-in
Success

#967 (Jun 20, 2017, 1:13:02 PM)

Changes
  1. do not print unimplemented functions (detail / hgweb)
  2. dropped void values (detail / hgweb)
  3. more uniform order of constructors (detail / hgweb)
  4. more consistent terminology (detail / hgweb)
  5. avoid name particle "the" where no selection is implied (detail / hgweb)
  6. more uniform ordering and naming of sections;
    proper local function (detail / hgweb)
  7. tuned internal signature (detail / hgweb)
  8. more explicit constructor name (detail / hgweb)
  9. tuned whitespace (detail / hgweb)
  10. replaced recdef by fun (detail / hgweb)
  11. spelling (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 0 sec waiting;
  • 3 hr 1 min build duration;
  • 3 hr 6 min total from scheduled to completion.
Revision: 0b635a6774fbf664ec9551cd463d8ef2a0b06c2b
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #967( 1 hr 3 min )Console Output
isabelle-repo-afpbuild #967( 1 hr 32 min )Console Output