Skip to content
Started 8 yr 0 mo ago
Took 4 hr 6 min on built-in
Success

#250 (Jun 8, 2016, 5:47:09 PM)

Changes
  1. alternative definition of bitlen in isabelle/414e3550e9c0 (detail / hgweb)

Started by an SCM change

Revision: b76dccbdc334fd7e9d9e6248258f5ec0ba5e344e
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #250( 4 hr 6 min )Console Output