Skip to content
Started 7 yr 10 mo ago
Took 1 hr 21 min on built-in
Success

#388 (Aug 23, 2016, 6:11:09 PM)

Changes
  1. adapt to Isabelle/9084d77f1119 (detail / hgweb)

Started by an SCM change

Revision: 9ea444f05441fdd536991c52bcf855c340c32970
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #388( 1 hr 20 min )Console Output