Add proof-shell-issue-pgip-cmd

1 files changed, 6 insertions, 0 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 6a4dc17b..820a352e 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1932,6 +1932,12 @@ The matching string will be parsed as XML and then processed by
   :type '(choice nil regexp)
   :group 'proof-shell)
 
+(defcustom proof-shell-issue-pgip-cmd nil
+  "Command sent to prover to process PGIP command in %s placeholder."
+  :type '(choice nil string)
+  :group 'proof-shell)
+
+
 ;; FIXME FIXME: this next one not yet used.  It's hard to interleave
 ;; commands with the ordinary queue anyway: the prover should
 ;; automatically output this information if it is enabled.