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

#362 (Aug 8, 2016, 3:37:53 PM)

Changes
  1. adapt to renameing HOL-Multivariate_Analysis to HOL-Analysis (Isabelle 6ddb43c6b711) (detail / hgweb)
  2. adapt to merge of measure thoery into HOL-Multivariate_Analysis (Isabelle 44ce6b524ff3) (detail / hgweb)

Started by an SCM change

Revision: b7ad08c3c371023dd090e0e1dc459d63ff76e46d
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #362( 1 hr 16 min )Console Output