Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 0 mo ago
Took 4 hr 9 min on built-in
Success

#258 (Jun 20, 2016, 11:05:10 PM)

Changes
  1. merged (detail / hgweb)
  2. misc tuning and modernization; (detail / hgweb)
  3. misc tuning and modernization; (detail / hgweb)
  4. prefer HOL definitions; (detail / hgweb)
  5. tuned proof; (detail / hgweb)
  6. misc tuning and modernization; (detail / hgweb)

Started by an SCM change

Revision: 83a91a73fcb551bcf6fdaa8887a11d4d866cea40
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #258( 4 hr 9 min )Console Output
isabelle-repo-makeallbuild #258( 1 hr 26 min )Console Output