Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 12 mo ago
Took 1 hr 16 min on built-in
Success

#295 (Jul 4, 2016, 7:32:10 PM)

Changes
  1. tuned proofs -- more accurate literal facts (see Isabelle/a4d0dc3ea28f); (detail / hgweb)

Started by an SCM change

Revision: 9e3f1d593d0420563f20912201a0a6421f8a7db8
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #295( 1 hr 15 min )Console Output