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

#265 (Jun 23, 2016, 6:41:10 PM)

Changes
  1. avoid overlapping equations for gcd, lcm on integers (detail / hgweb)
  2. compiling implicit instances into companion objects for classes avoids ambiguities (detail / hgweb)

Started by an SCM change

Revision: e5d08b1d8feaf5459e07fd11ec0faa822668419a
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #265( 1 hr 10 min )Console Output
isabelle-repo-makeallbuild #265( 1 hr 8 min )Console Output