math-classes icon indicating copy to clipboard operation
math-classes copied to clipboard
verified publisher icon coq-community

notation overwrite warnings

Open vzaliva opened this issue 8 years ago • 0 comments

I am getting a lot of warnings like these:

[notation-overridden,parsing]
Warning: Notation _ ≠ _ was already used in scope type_scope.
[notation-overridden,parsing]

If there is a way to avoid these, short of totally disabling notation overriding warnings globally?

vzaliva avatar Nov 25 '17 02:11 vzaliva