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

#147 (Apr 7, 2016, 11:41:39 PM)

Changes
  1. adapt to Isabelle/75ca185db27f (detail / hgweb)

Started by an SCM change

Revision: 7c5358d6b3d3044e8d74cf74cbe2a1d8a64434f7
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #147( 3 hr 35 min )Console Output