rename Makefile.coq into rocq.mk #104
fblanquiAnnotations
70 warnings
|
make (9.0):
Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
|
|
make (9.0):
Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
|
|
make (9.0):
Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
|
|
make (dev):
Util/Relation/RelUtil.v#L48
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
make (dev):
Util/Relation/RelUtil.v#L44
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
make (dev):
Util/Relation/RelUtil.v#L41
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
make (dev):
Util/Relation/RelUtil.v#L39
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
make (dev):
Util/Bool/BoolUtil.v#L21
Implicitly declaring Rewrite hint databases is deprecated. Please
|
|
make (dev):
Util/Logic/IotaUtil.v#L17
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
make (dev):
Util/Logic/IotaUtil.v#L16
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
make (dev):
Term/SimpleType/TermsSig.v#L43
Notations at level 0 should be closed (first and last symbols should
|
|
make (dev):
Term/SimpleType/TermsSig.v#L20
Implicitly declaring hint databases is deprecated. Please explicitly
|
|
make (dev):
Util/Logic/EpsilonUtil.v#L16
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
make (8.17):
Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
|
|
make (8.17):
Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
|
|
make (8.17):
Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
|
|
make (8.20):
Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
|
|
make (8.20):
Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
|
|
make (8.18):
Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
|
|
make (8.18):
Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
|
|
make (8.19):
Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
|
|
make (8.19):
Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
|
|
make (8.16):
Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
|
|
make (8.16):
Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
|