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

#341 (Jul 21, 2016, 12:16:03 AM)

Changes
  1. merged from afp-2016, and adjusted for devel (detail / hgweb)
  2. use Isabelle release version by default (detail / hgweb)

Started by an SCM change

Revision: e2b90d4ce858b01e3a296c18baf965c982892036
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #341( 1 hr 3 min )Console Output