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

#92 (Mar 16, 2016, 12:14:11 PM)

Changes
  1. add measurability rules for ennreal (detail / hgweb)
  2. generalized some Borel measurable statements to support ennreal (detail / hgweb)

Started by an SCM change

Revision: 2d73385aa5f35b7a171756c38664a31517163678
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #92( 2 hr 52 min )Console Output
isabelle-repo-makeallbuild #92( 59 min )Console Output