From 30259f608b82ae950d4ca0852b3c72c60f101c0a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Nov 2002 12:13:27 +0000
Subject: FIXME

---
 generic/proof-config.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 820a352e..777fd66c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1932,6 +1932,8 @@ The matching string will be parsed as XML and then processed by
   :type '(choice nil regexp)
   :group 'proof-shell)
 
+;; FIXME: next one needs changing to be a function, or have function
+;; built from it.
 (defcustom proof-shell-issue-pgip-cmd nil
   "Command sent to prover to process PGIP command in %s placeholder."
   :type '(choice nil string)
-- 
cgit v1.2.3