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

#293 (Jul 10, 2016, 10:08:19 PM)

Build Artifacts
No changes.

Started by upstream project isabelle-repo build number 293

Revision: ce7088e0e628b71e3e1b9d28953bba8bedb57b91