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

#1580 (Apr 18, 2018, 11:34:02 PM)

Changes
  1. correction of TeX errors and other oversights (detail / hgweb)
  2. Oops! Change_Of_Vars was not being imported to Analysis! (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 0 sec waiting;
  • 1 hr 7 min build duration;
  • 1 hr 12 min total from scheduled to completion.
Revision: 0a2a1b6507c17b76786908356c451c7f93ca80a0
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1580( 54 min )Console Output
isabelle-repo-afpbuild #1580( 1 hr 7 min )Console Output