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

#291 (Jul 1, 2016, 1:50:13 PM)

Changes
  1. Buildings: adjust for isabelle bf2cf0653741 (detail / hgweb)
  2. merge from afp-2016 (detail / hgweb)
  3. new entry `Buildings` (detail / hgweb)
  4. tuned (detail / hgweb)
  5. New entry Resolution_FOL (detail / hgweb)
  6. New entry Rewriting_Z (detail / hgweb)

Started by an SCM change

Revision: 27154744ad923f38c98080da1f54546f16ddaf42
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #291( 1 hr 11 min )Console Output