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

#336 (Jul 31, 2016, 11:06:02 PM)

Changes
  1. misc tuning and modernization; (detail / hgweb)
  2. clarified imports; (detail / hgweb)
  3. simplified theory structure; (detail / hgweb)
  4. misc tuning and modernization; (detail / hgweb)

Started by an SCM change (2 times)

Revision: c0cbfd2b5a45f68a1183f6ce3bdcd63e89c897a7
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #336( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #336( 1 hr 18 min )Console Output