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

#148 (Apr 8, 2016, 9:11:12 PM)

Changes
  1. updated to Isabelle/13252110a6fe; (detail / hgweb)

Started by an SCM change

Revision: a679bbe7114e1970389d6c1157ea216ba36558b6
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #148( 3 hr 35 min )Console Output