Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 9 mo ago
Took 2 hr 35 min on built-in
Success

#435 (Sep 13, 2016, 12:18:34 AM)

Changes
  1. make (co)induct component of 'fp_sugar' optional, for the benefit of nonuniform (co)datatypes and other similar extensions (detail / hgweb)

Started by an SCM change

Revision: dca6fabd806006f5ed9ef71b7038dd884414d35a
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #435( 1 hr 11 min )Console Output
isabelle-repo-afpbuild #435( 1 hr 26 min )Console Output