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

#119 (Mar 15, 2016, 3:45:54 PM)

Changes
  1. theorem renaming: reals_Archimedean2, etc. (detail / hgweb)

Started by an SCM change

Revision: d1ee5da140155c2f7e88591f0b8bb8a67b2f0001
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #119( 3 hr 3 min )Console Output