Adapt w.r.t. coq/coq#19228. (#62) #351
Annotations
2 errors and 10 warnings
|
|
|
|
|
theories/Util/Program/Basics/Dependent.v#L100
Notations "∀ _ .. _ , _" defined at level 10 with arguments binder
|
|
theories/Util/Tactics2/List.v#L4
Unused variable: overlap.
|
|
theories/Util/PArray.v#L164
Notations "_ .[ _ ]" defined at level 2 with arguments constr
|
|
theories/Util/PArray.v#L206
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
theories/Util/PArray.v#L242
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
theories/Util/Classes/Morphisms/Dependent.v#L219
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
theories/Util/Classes/Morphisms/Dependent.v#L220
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
theories/Util/Classes/Morphisms/Dependent.v#L221
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
theories/Util/Classes/Morphisms/Dependent.v#L222
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
theories/Util/Classes/Morphisms/Dependent.v#L223
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
This job was cancelled
Loading