Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 2 mo ago
Took 3 hr 35 min on worker2
Success

#157 (Apr 18, 2016, 5:00:04 PM)

No changes.

Started by upstream project isabelle-repo build number 157

Revision: 00f4461fa99f79fd676d737b5ab6f422330d4bfa
Revision: 21a899eedfd30a66738aea921556735c2380490b