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

#99 (Mar 18, 2016, 2:40:59 PM)

Changes
  1. merged (detail / hgweb)
  2. move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library (detail / hgweb)
  3. superfluous premise (noticed by Julian Nagele) (detail / hgweb)

Started by an SCM change

Revision: d3a5b127eb81a955078f781729f5c87b10dca80f
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #99( 2 hr 55 min )Console Output
isabelle-repo-makeallbuild #99( 55 min )Console Output