blob: a8d4fc6ed2704091b9663fc56cd8fc6f84e2acf7 (
plain)
1
2
3
4
5
6
|
- **Fixed:**
Different interpretations in different scopes of the same notation
string can now be associated to different printing formats (`#10832
<https://github.com/coq/coq/pull/10832>`_, by Hugo Herbelin,
fixes `#6092 <https://github.com/coq/coq/issues/6092>`_
and `#7766 <https://github.com/coq/coq/issues/7766>`_).
|
