update docker ci #24
Merged
update docker ci #24
Annotations
10 warnings
|
theories/sets/sset1.v#L705
Notation idempotent is deprecated since mathcomp 2.3.0.
|
|
theories/sets/sset1.v#L1164
Notation idempotent is deprecated since mathcomp 2.3.0.
|
|
theories/sets/sset2.v#L7
"From Coq" has been replaced by "From Stdlib".
|
|
theories/ordinals/sset16a.v#L7
"From Coq" has been replaced by "From Stdlib".
|
|
theories/numbers/ssete7.v#L5
"From Coq" has been replaced by "From Stdlib".
|
|
theories/numbers/ssete7.v#L89
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L143
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L244
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L291
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1399
Reference Pascal is deprecated since mathcomp 2.3.0.
|
The logs for this run have expired and are no longer available.
Loading