diff options
| author | Gaëtan Gilbert | 2019-02-14 15:12:19 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-18 21:24:10 +0100 |
| commit | 7cb49eda2c33c620f020cf7487ab9f53b74859da (patch) | |
| tree | 6680f9380932fd53e3198518aa28063871fe4835 /doc/sphinx | |
| parent | eb20b899a6cd0e3b9816a4b6824998255c4af6b8 (diff) | |
Sphinx: remove [coqtop:: undo]
Co-authored-by: Vincent Laporte <Vincent.Laporte@fondation-inria.fr>
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/README.rst | 3 |
1 files changed, 1 insertions, 2 deletions
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 |