From 1775cd0015fff527c9fe34c21900cfd87838d425 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 8 Sep 2000 13:29:33 +0000
Subject: Rearrangement

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 758edb5c..3ca47c76 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1248,6 +1248,15 @@ group.  This allows different proof assistants to coexist
   :type 'string
   :group 'proof-shell)
 
+(defcustom proof-shell-auto-terminate-commands t
+  "Non-nil if Proof General should try to add terminator to every command.
+If non-nil, whenever a command is sent to the prover using
+`proof-shell-invisible-command', Proof General will check to see if it
+ends with proof-terminal-char, and add it if not.
+If proof-terminal-char is nil, this has no effect."
+  :type 'boolean
+  :group 'proof-shell)
+
 (defcustom proof-shell-pre-sync-init-cmd nil
    "The command for configuring the proof process to gain synchronization.
 This command is sent before Proof General's synchronization
@@ -1283,15 +1292,6 @@ See also `proof-shell-pre-sync-init-cmd'."
    :type '(choice string (const nil))
    :group 'proof-shell)
 
-(defcustom proof-shell-auto-terminate-commands t
-  "Non-nil if Proof General should try to add terminator to every command.
-If non-nil, whenever a command is sent to the prover using
-`proof-shell-invisible-command', Proof General will check to see if it
-ends with proof-terminal-char, and add it if not.
-If proof-terminal-char is nil, this has no effect."
-  :type 'boolean
-  :group 'proof-shell)
-
 ;; FIXME could add option to quiz user before rude kill.
 (defcustom proof-shell-quit-timeout 10
   "The number of seconds to wait after sending proof-shell-quit-cmd.
-- 
cgit v1.2.3