Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 10 mo ago
Took 1 hr 17 min on built-in
Failed

#353 (Aug 8, 2016, 3:36:03 PM)

Changes
  1. rename HOL-Multivariate_Analysis to HOL-Analysis. (detail / hgweb)
  2. move measure theory from HOL-Probability to HOL-Multivariate_Analysis (detail / hgweb)

Started by an SCM change

Revision: 6ddb43c6b711e362ae3bdabee396d9fe272c3365
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #353( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #353( 1 hr 15 min )Console Output