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

#98 (Mar 18, 2016, 11:37:43 AM)

Changes
  1. added tree lemmas (detail / hgweb)

Started by an SCM change

Revision: 7e6bb43e72178175e4dba1a742c7ee9b216490d5
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #98( 1 hr 1 min )Console Output
isabelle-repo-afpbuild #98( 3 hr 2 min )Console Output