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

#340 (Aug 2, 2016, 2:45:04 PM)

Changes
  1. more natural definition of type finmap (detail / hgweb)

Started by an SCM change

Revision: a4acecf4dc21a4e2d8992cc9a03303ebcaa3d3b4
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #340( 1 hr 7 min )Console Output
isabelle-repo-makeallbuild #340( 1 hr 10 min )Console Output