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

#299 (Jul 12, 2016, 2:11:09 PM)

Changes
  1. sharing simp rules between ordered monoids and rings (detail / hgweb)

Started by an SCM change

Revision: 3365c8ec67bdc3e2fdf9a94920e755e522f0cf5b
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #299( 1 hr 9 min )Console Output
isabelle-repo-afpbuild #299( 1 hr 15 min )Console Output