10185-instance-no-bang.rst « 07-commands-and-options « changelog « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/changelog/07-commands-and-options/10185-instance-no-bang.rst

blob: 366f799c592fe28626b086186d68893ec092f844 (plain)

1
2
3

- **Removed:**
  Undocumented :n:`Instance : !@type` syntax
  (`#10185 <https://github.com/coq/coq/pull/10185>`_, by Gaëtan Gilbert).