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

#195 (May 23, 2016, 7:58:08 PM)

Changes
  1. generate Vampire 4.0 compatible output (detail / hgweb)
  2. Merge (detail / hgweb)
  3. Lots of new material for multivariate analysis (detail / hgweb)

Started by an SCM change

Revision: 32492105b015ca51e3ddc60be3ee822e0bff523e
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #195( 14 hr )Console Output
isabelle-repo-makeallbuild #195( 1 hr 22 min )Console Output