adapt to MC#1256 #62
Annotations
1 error and 10 warnings
|
theories/stern/stern.v#L1022
The LHS of subrK
|
|
theories/numbers/ssete7.v#L88
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L142
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L243
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L290
Notation nosimpl is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1398
Reference Pascal is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1398
Reference Pascal is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1398
Reference Pascal is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1458
Reference Pascal is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1458
Reference Pascal is deprecated since mathcomp 2.3.0.
|
|
theories/numbers/ssete7.v#L1458
Reference Pascal is deprecated since mathcomp 2.3.0.
|
The logs for this run have expired and are no longer available.
Loading