From 1fa29f0558351634ad5b30876fb089bd22bf28ad Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 25 Mar 2019 16:05:49 +0000
Subject: [Vernacular] Deprecate the “Show Script” command

Fixes #8320
---
 doc/sphinx/proof-engine/proof-handling.rst | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc')

diff --git a/doc/sphinx/proof-engine/proof-handling.rst b/doc/sphinx/proof-engine/proof-handling.rst
index 07215a0c7e..16b158c397 100644
--- a/doc/sphinx/proof-engine/proof-handling.rst
+++ b/doc/sphinx/proof-engine/proof-handling.rst
@@ -544,6 +544,10 @@ Requesting information
 
       ``<Your Tactic Text here>``.
 
+     .. deprecated:: 8.10
+
+        Please use a text editor.
+
    .. cmdv:: Show Proof
       :name: Show Proof
 
-- 
cgit v1.2.3