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

#210 (May 23, 2016, 6:53:07 PM)

Changes
  1. merge from afp-2016 (detail / hgweb)
  2. correct broken metadata (detail / hgweb)
  3. updated Sledgehammer proofs according to Isabelle fe31996e3898; (detail / hgweb)
  4. tuned proofs; (detail / hgweb)

Started by an SCM change

Revision: 0f83a7fc0a334b3c9f37baa39f89a04102eca414
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #210( 15 hr )Console Output