Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 11 mo ago
Took 1 hr 18 min on built-in
Success

#329 (Jul 28, 2016, 6:42:06 PM)

Changes
  1. numerical bounds on pi (detail / hgweb)

Started by an SCM change

Revision: 36e9732988ceecdadd0f05eee5f468b50c2e9c1e
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #329( 1 hr 9 min )Console Output
isabelle-repo-afpbuild #329( 1 hr 18 min )Console Output