From 7cb49eda2c33c620f020cf7487ab9f53b74859da Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Thu, 14 Feb 2019 15:12:19 +0100 Subject: Sphinx: remove [coqtop:: undo] Co-authored-by: Vincent Laporte --- doc/sphinx/README.rst | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'doc/sphinx') diff --git a/doc/sphinx/README.rst b/doc/sphinx/README.rst index 5861b18d2b..4f61824e67 100644 --- a/doc/sphinx/README.rst +++ b/doc/sphinx/README.rst @@ -214,7 +214,7 @@ In addition to the objects above, the ``coqrst`` Sphinx plugin defines the follo Example:: - .. coqtop:: in undo + .. coqtop:: in reset Print nat. Definition a := 1. @@ -234,7 +234,6 @@ In addition to the objects above, the ``coqrst`` Sphinx plugin defines the follo - Behavior options - ``reset``: Send a ``Reset Initial`` command before running this block - - ``undo``: Reset state after executing. Not compatible with ``reset``. ``coqtop``\ 's state is preserved across consecutive ``.. coqtop::`` blocks of the same document (``coqrst`` creates a single ``coqtop`` process per -- cgit v1.2.3