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

#92 (Feb 28, 2016, 3:17:12 PM)

Changes
  1. tuned whitespace; (detail / hgweb)
  2. isabelle update_header; (detail / hgweb)
  3. isabelle update_header; (detail / hgweb)

Started by an SCM change

Revision: 5a9ff01790dde8a2aa9ee9a7ead03a978c715bd7
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #92( 2 hr 31 min )Console Output