From 23b8469cd25624e050ec75d9807bad0aa31d0b7f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Oct 1998 11:36:22 +0000
Subject: Added note about mode symbols

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index a62292b1..a2d14d27 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -193,6 +193,11 @@ from the name given in proof-internal-assistant-table."
 ;; 2. The major modes used by Proof General.
 ;;
 
+;; FIXME: these symbols could be set automatically to standard values,
+;; i.e. <assistant>-mode, <assistant>-shell-mode, <assistant>-pbp-mode.
+;; FIXME: mode-for-script is unused at the moment, added just for
+;; uniformity.  The other two are used when a shell buffer is started.
+
 (defcustom proof-mode-for-shell nil
   "Mode for proof shell buffers.
 Suggestion: this can be set in proof-pre-shell-start-hook."
-- 
cgit v1.2.3