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

#361 (Aug 8, 2016, 2:29:03 PM)

Changes
  1. use full path for isabelle tool (detail / hgweb)
  2. update affoliation of lammich (detail / hgweb)

Started by an SCM change

Revision: 5a2725345a163663d516bbd9565eccaa2315ae71
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #361( 1 hr 8 min )Console Output