Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 3 mo ago
Took 3 hr 3 min on built-in
Failed

#87 (Mar 14, 2016, 4:32:51 PM)

Changes
  1. Merge (detail / hgweb)
  2. Refactoring (moving theorems into better locations), plus a bit of new material (detail / hgweb)

Started by an SCM change

Revision: 7f17ebd3293ec3a08f38502ec79e111172073313
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #87( 3 hr 3 min )Console Output
isabelle-repo-makeallbuild #87( 1 hr 2 min )Console Output