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

#398 (Sep 2, 2016, 8:45:03 AM)

Changes
  1. added inorder2 (detail / hgweb)

Started by an SCM change

Revision: e60020520b1501af9ad6cd85389e155d89da1d08
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #398( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #398( 1 hr 15 min )Console Output