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

#157 (Apr 14, 2016, 1:32:12 PM)

Changes
  1. isabelle update_cartouches -c -t Affine_Arithmetic Ordinary_Differential_Equations (detail / hgweb)

Started by an SCM change

Revision: 39e0e5ede6be514ce1ca33540d0ff9b477286ca3
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #157( 3 hr 42 min )Console Output