Skip to content
Started 7 yr 10 mo ago
Took 1 hr 15 min on built-in
Success

#409 (Sep 10, 2016, 11:35:42 AM)

Changes
  1. fix entry title (detail / hgweb)
  2. adapted to latest Isabelle (detail / hgweb)

Started by an SCM change

Revision: 90d6b825672aa1d1103a018ba02f760195b91fd0
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #409( 1 hr 15 min )Console Output