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

#387 (Aug 24, 2016, 11:15:02 AM)

Changes
  1. added lemma (detail / hgweb)

Started by an SCM change

Revision: bcf2123d059ab1242f17e700027038ba02bc8b97
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #387( 1 hr 8 min )Console Output
isabelle-repo-afpbuild #387( 1 hr 24 min )Console Output