Docker CI #26
Annotations
9 warnings
|
src/DivMod.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
src/Function.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
src/DivMod.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
src/IntroPatterns.v#L1
Coq.Lists.List has been replaced by Stdlib.Lists.List.
|
|
src/NotationModule.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
src/NotationModule.v#L31
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
|
|
src/NotationModule.v#L35
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
|
|
src/RewNotation.v#L4
Alternatives to Fin.t are available, see
|
|
src/TacticNotationOptionalParams.v#L23
"From Coq" has been replaced by "From Stdlib".
|
This job succeeded
Loading