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

#163 (Apr 18, 2016, 3:35:09 PM)

Changes
  1. fixed for renaming of theorems (detail / hgweb)

Started by an SCM change

Revision: 21a899eedfd30a66738aea921556735c2380490b
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #163( 3 hr 34 min )Console Output