10277-no-show-script.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/10277-no-show-script.rst

blob: ee870df6079ad6a6f6f8d2c3a3763de87a1f4421 (plain)

1
2
3

- **Removed:**
  Deprecated ``Show Script`` command
  (`#10277 <https://github.com/coq/coq/pull/10277>`_, by Gaëtan Gilbert).