Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 0 mo ago
Took 1 hr 15 min on built-in
Success

#271 (Jul 2, 2016, 3:05:10 PM)

Changes
  1. more theorems (detail / hgweb)
  2. abstract and concrete multiplicative groups (detail / hgweb)
  3. more correct comment (detail / hgweb)

Started by an SCM change

Revision: 5340fb6633d09dcd5a57b50f17638421be71c7f5
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #271( 1 hr 8 min )Console Output
isabelle-repo-afpbuild #271( 1 hr 15 min )Console Output