Adapt w.r.t. coq/coq#18895. #223
Annotations
10 warnings
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L11
There is no flag or option with this name: "Template Check".
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L29
There is no flag or option with this name:
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L30
There is no flag or option with this name: "Apply With Renaming".
|
|
all:
src/Common/Tactics/IsClosed.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
|
all:
src/Common/Tactics/IsClosed.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
|
all:
src/Common/Tactics/IsClosed.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet.set_diff_nodup"!
|
|
all:
src/Common/Tactics/PrintContext.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
|
all:
src/Common/Tactics/PrintContext.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
|
all:
src/Common/Tactics/PrintContext.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet.set_diff_nodup"!
|
|
all:
src/Parsers/StringLike/Core.v#L5
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
Loading