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

#384 (Aug 18, 2016, 6:24:05 PM)

Changes
  1. remove spurious find_theorems (detail / hgweb)
  2. HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned (detail / hgweb)

Started by an SCM change

Revision: 3b0500bd22403be9f29d6350b6c4dc7f7244214a
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #384( 1 hr 23 min )Console Output
isabelle-repo-makeallbuild #384( 1 hr 8 min )Console Output