Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 1 mo ago
Took 4 hr 6 min on built-in
Failed

#196 (May 24, 2016, 10:24:28 AM)

Changes
  1. merged (detail / hgweb)
  2. renamed prefix* in Library/Sublist (detail / hgweb)

Started by an SCM change

Revision: 80c361e9d19d80e48ddbffe8743c4a7416895cf1
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #196( 4 hr 6 min )Console Output
isabelle-repo-makeallbuild #196( 1 hr 21 min )Console Output