Skip to content
Started 8 yr 2 mo ago
Took 1 hr 39 min on built-in
Failed

#140 (Apr 10, 2016, 11:17:12 PM)

Changes
  1. tuned; (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. tuned comments; (detail / hgweb)
  4. more standard session build process, including browser_info;
    clarified final setup of global ML environment; (detail / hgweb)
  5. clarified files; (detail / hgweb)
  6. tuned; (detail / hgweb)
  7. proper support for recursive ML debugging; (detail / hgweb)
  8. tuned -- avoid recoding properties; (detail / hgweb)

Started by an SCM change

Revision: 3374f3ffb2ec77daf30e6e2f7e26460232583534
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #140( 1 hr 39 min )Console Output
isabelle-repo-makeallbuild #140( 1 hr 11 min )Console Output