Skip to content
Jenkins
log in
Dashboard
Thibault Dardinier <thibault.dardinier@inf.ethz.ch>
My Views
All
afp-repo
#1490
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
merged
renamed in order to avoid clash with MIN syntax
Changeset
9060:9e0ab3713103
by
immler
:
merged
Changeset
9059:96851f279665
by
immler
:
renamed in order to avoid clash with MIN syntax
The file was modified
thys/Affine_Arithmetic/Counterclockwise.thy
(diff)