Skip to content
Started 7 yr 11 mo ago
Took 1 hr 9 min on workermta4
Success

#329 (Jul 28, 2016, 6:42:16 PM)

Build Artifacts
No changes.

Started by upstream project isabelle-repo build number 329

Revision: 36e9732988ceecdadd0f05eee5f468b50c2e9c1e