blob: a05829b720f0b6eb6d86b00e2802307ea168a897 (
plain)
1
2
3
4
5
6
|
- **Fixed:**
Special symbols now escaped in the index produced by coqdoc,
avoiding collision with the syntax of the output format
(`#12754 <https://github.com/coq/coq/pull/12754>`_,
fixes `#12752 <https://github.com/coq/coq/issues/12752>`_,
by Hugo Herbelin).
|
