adapt to elpi 2.0 #94
Annotations
10 warnings
|
stdlib_omissions/Pair.v#L1
Coq.Unicode.Utf8 has been replaced by Stdlib.Unicode.Utf8.
|
|
stdlib_omissions/Pair.v#L1
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
tactics/CornTac.v#L22
Coq.Classes.SetoidTactics has been replaced by
|
|
stdlib_omissions/Pair.v#L1
Coq.Lists.List has been replaced by Stdlib.Lists.List.
|
|
algebra/RSetoid.v#L27
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
algebra/RSetoid.v#L29
Notation "_ = _" was already used in scope type_scope.
|
|
algebra/RSetoid.v#L29
Notation "_ ≠ _" was already used in scope type_scope.
|
|
algebra/RSetoid.v#L85
Declaring a scope implicitly is deprecated; use in advance an
|
|
stdlib_omissions/P.v#L2
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
stdlib_omissions/P.v#L2
Coq.PArith.BinPos has been replaced by Stdlib.PArith.BinPos.
|
The logs for this run have expired and are no longer available.
Loading