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

#392 (Aug 30, 2016, 9:15:08 AM)

Changes
  1. generate proper goal when equation is entered programmatically (detail / hgweb)

Started by an SCM change

Revision: 2d21591967bc1733660bcff9482fa3e37863a1d4
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #392( 1 hr 7 min )Console Output
isabelle-repo-afpbuild #392( 1 hr 24 min )Console Output