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

#416 (Sep 16, 2016, 3:23:09 PM)

Changes
  1. add theory prefix to some theorem names (for Isabelle 685fb01256af) (detail / hgweb)

Started by an SCM change

Revision: 0c689f1c3ea0538b2cab39c3f1759cbce82adc74
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #416( 1 hr 22 min )Console Output