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

#137 (Apr 8, 2016, 9:11:08 PM)

Changes
  1. option "-o" for "isabelle jedit"; (detail / hgweb)
  2. eliminated unused simproc identifier; (detail / hgweb)

Started by an SCM change

Revision: 930a30c1a9af8abd0c17b8db2ad9ef4d3a2beda7
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #137( 1 hr 14 min )Console Output
isabelle-repo-afpbuild #137( 3 hr 35 min )Console Output