Skip to content
Started 7 yr 10 mo ago
Took 1 hr 8 min on workermta4
Success

#387 (Aug 24, 2016, 11:15:12 AM)

Build Artifacts
No changes.

Started by upstream project isabelle-repo build number 387

Revision: bcf2123d059ab1242f17e700027038ba02bc8b97