Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 3 mo ago
Took 35 min on worker4
Failed

#109 (Mar 25, 2016, 11:37:03 AM)

No changes.

Started by upstream project isabelle-repo build number 109

Revision: 96f20d90c9894e3b720d4eda416e5e408d266f66