blob: d6e31846628727e827e7defd8bdfe4cbfd64f5fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
- **Changed:**
Flag :flag:`Printing Notations` no longer controls
whether strings and numbers are printed raw
(`#13840 <https://github.com/coq/coq/pull/13840>`_,
by Enrico Tassi).
- **Added:**
Flag :flag:`Printing Raw Literals` to control whether
strings and numbers are printed raw.
(`#13840 <https://github.com/coq/coq/pull/13840>`_,
by Enrico Tassi).
|
