Skip to content
Started 8 yr 4 mo ago
Took 2 hr 55 min on built-in
Failed

#58 (Feb 16, 2016, 3:53:12 PM)

Changes
  1. merge (detail / hgweb)
  2. added wf predicate to On_Off and adjusted coresponding theorems (detail / hgweb)

Started by an SCM change

Revision: c2b9c6421008d80dc53b1eeb2048473f9c59b7ba
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #58( 2 hr 55 min )Console Output