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

#290 (Jul 1, 2016, 12:29:09 AM)

Changes
  1. adapt to Isabelle/bf2cf0653741 (detail / hgweb)

Started by an SCM change

Revision: 98725e179e628e2f8373f845501e074f4f452036
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #290( 1 hr 0 min )Console Output