Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 56 min on built-in
Failed

#42 (Feb 26, 2016, 10:17:07 PM)

Changes
  1. Tuned Euclidean Rings/GCD rings (detail / hgweb)
  2. Fixed code equations for Gcd/Lcm (detail / hgweb)

Started by an SCM change

Revision: 25271ff79171c7a51182bf99f19decf241fed9fa
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #42( 2 hr 56 min )Console Output
isabelle-repo-makeallbuild #42( 58 min )Console Output