blob: 10952c6b2c0332fb8a9db4f345bbe29a6af838c4 (
plain)
1
2
3
4
5
|
- **Fixed:**
``coqdoc`` with option ``-g`` (Gallina only) now correctly prints
commands with attributes (`#11394 <https://github.com/coq/coq/pull/11394>`_,
fixes `#11353 <https://github.com/coq/coq/issues/11353>`_,
by Karl Palmskog).
|
