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

#142 (Apr 12, 2016, 12:38:10 PM)

Changes
  1. added lemmas (detail / hgweb)
  2. generalized (detail / hgweb)
  3. added derivative of scaling in exponential function (detail / hgweb)

Started by an SCM change

Revision: f59ef58f420b71d73dd431d2b21c20e9c547e902
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #142( 3 hr 35 min )Console Output
isabelle-repo-makeallbuild #142( 1 hr 15 min )Console Output