Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 58 min on worker1
Success

#44 (Feb 27, 2016, 5:05:19 PM)

No changes.

Started by upstream project "isabelle-repo-checkin" build number 44

Revision: beb3e6c1fa5a5c52a7993c21074efd36a2a39b22