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

#88 (Feb 26, 2016, 5:47:24 PM)

Changes
  1. Merge (detail / hgweb)
  2. Fixed failing proofs and tidied up (detail / hgweb)
  3. Merged (detail / hgweb)
  4. Fixed Algebraic_Numbers (detail / hgweb)
  5. A few fixes for deleted (redundant) lemmas (detail / hgweb)

Started by an SCM change

Revision: aecc7970c4c6f595e883e274d4308a3130f93e3a
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #88( 3 hr 4 min )Console Output