Order change

1 files changed, 35 insertions, 37 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index ffb79504..d341667b 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -688,42 +688,6 @@ If a function, it should return the command string to insert."
   :type '(choice string function)
   :group 'prover-config)
 
-(defcustom proof-assistant-true-value "true"
-  "String for true values in proof assistant, used for setting flags.
-Default is the string \"true\"."
-  :type 'string
-  :group 'prover-config)
-
-(defcustom proof-assistant-false-value "false"
-  "String for false values in proof assistant, used for setting flags.
-Default is the string \"false\"."
-  :type 'string
-  :group 'prover-config)
-
-(defcustom proof-assistant-format-int-fn 'int-to-string
-  "Function for converting integer values to ints in proof assistant.
-Used for configuring settings in proof assistant.
-Default is `int-to-string'."
-  :type 'function
-  :group 'prover-config)
-
-(defcustom proof-assistant-format-string-fn  (lambda (value) value)
-  "Function for converting string values to strings in proof assistant.
-Used for configuring settings in proof assistant.
-Default is the identity function."
-  :type 'string
-  :group 'prover-config)
-
-(defcustom proof-assistant-setting-format nil
-  "Function for formatting setting strings for proof assistant.
-Setting strings are calculated by replacing a format character
-%b, %i, or %s in the :setting string in for each variable defined with
-`defpacustom', using the current value of that variable.  This
-function  is applied as a final step to do any extra markup, or
-conversion, etc.  (No changes are done if nil)."
-  :type '(choice string nil)
-  :group 'prover-config)
-
 (defconst proof-toolbar-entries-default
   `((state	"Display proof state" "Display the current proof state" t)
     (context	"Display context"     "Display the current context" t)
@@ -749,7 +713,6 @@ To add/remove prover specific buttons, adjust the `<PA>-toolbar-entries'
 variable, and follow the pattern in `proof-toolbar.el' for 
 defining functions, images.")
 
-
 (defpgcustom toolbar-entries proof-toolbar-entries-default
   "List of entries for Proof General toolbar and Scripting menu.
 Format of each entry is (TOKEN MENUNAME TOOLTIP ENABLER-P).
@@ -762,6 +725,41 @@ If TOOLTIP is nil, item will not appear on the toolbar.
 The default value is `proof-toolbar-entries-default' which contains
 the standard Proof General buttons.")
 
+(defcustom proof-assistant-true-value "true"
+  "String for true values in proof assistant, used for setting flags.
+Default is the string \"true\"."
+  :type 'string
+  :group 'prover-config)
+
+(defcustom proof-assistant-false-value "false"
+  "String for false values in proof assistant, used for setting flags.
+Default is the string \"false\"."
+  :type 'string
+  :group 'prover-config)
+
+(defcustom proof-assistant-format-int-fn 'int-to-string
+  "Function for converting integer values to ints in proof assistant.
+Used for configuring settings in proof assistant.
+Default is `int-to-string'."
+  :type 'function
+  :group 'prover-config)
+
+(defcustom proof-assistant-format-string-fn  (lambda (value) value)
+  "Function for converting string values to strings in proof assistant.
+Used for configuring settings in proof assistant.
+Default is the identity function."
+  :type 'string
+  :group 'prover-config)
+
+(defcustom proof-assistant-setting-format nil
+  "Function for formatting setting strings for proof assistant.
+Setting strings are calculated by replacing a format character
+%b, %i, or %s in the :setting string in for each variable defined with
+`defpacustom', using the current value of that variable.  This
+function  is applied as a final step to do any extra markup, or
+conversion, etc.  (No changes are done if nil)."
+  :type '(choice string nil)
+  :group 'prover-config)