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

#242 (Jun 3, 2016, 4:50:11 PM)

Changes
  1. MFMC_Countable: move ennreal and ereal theorems to Isabelle 19d2be0e5e9f (detail / hgweb)

Started by an SCM change

Revision: 44c49a721891f7a791d77af3ea379c56263c0c35
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #242( 4 hr 6 min )Console Output