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

#426 (Sep 11, 2016, 12:54:06 AM)

Changes
  1. tuned proofs; (detail / hgweb)
  2. misc tuning and modernization; (detail / hgweb)
  3. misc tuning and modernization; (detail / hgweb)

Started by an SCM change

Revision: 6a757f36997e245b84119d0076fdfd9d5ebae1a6
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #426( 1 hr 27 min )Console Output
isabelle-repo-makeallbuild #426( 58 min )Console Output