Skip to content
Started 7 yr 10 mo ago
Took 2 hr 42 min on built-in
Failed

#398 (Sep 5, 2016, 2:14:13 PM)

Changes
  1. merged (detail / hgweb)
  2. adapted to Isabelle (detail / hgweb)

Started by an SCM change

Revision: 46e80297be06897e9b1100bcb278ce977de1153e
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #398( 1 hr 21 min )Console Output