Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
isabelle-repo
#571
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
tuned and updated for release;
updated for release;
tuned;
Changeset
64393:17a7543fadad
by
wenzelm
:
tuned and updated for release;
The file was modified
CONTRIBUTORS
(diff)
Changeset
64392:9456313b57ed
by
wenzelm
:
updated for release;
The file was modified
ANNOUNCE
(diff)
Changeset
64391:553d8c4d7ef4
by
wenzelm
:
tuned;
The file was modified
NEWS
(diff)