Skip to content
Started 8 yr 4 mo ago
Took 3 hr 4 min on built-in
Failed

#80 (Feb 23, 2016, 5:29:09 PM)

Changes
  1. updated proofs because distance_attains_inf is now expressed using "obtains" (detail / hgweb)

Started by an SCM change

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