Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#1147
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
updated for release;
Added tag Isabelle2017-RC1 for changeset 34b20f7236ea
Changeset
66601:af3cf2c859c1
by
wenzelm
:
updated for release;
The file was modified
ANNOUNCE
(diff)
Changeset
66600:13a1081961d2
by
wenzelm
:
Added tag Isabelle2017-RC1 for changeset 34b20f7236ea
The file was modified
.hgtags
(diff)