Comments

1 files changed, 4 insertions, 2 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 52d3a434..3bc3ea23 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -584,6 +584,8 @@ proof-assistant-table."
   :type 'sexp
   :group 'prover-config)
 
+
+
 (defcustom proof-assistant ""
   "Name of the proof assistant Proof General is using.
 Do not change this variable! It is set automatically by the mode 
@@ -1895,7 +1897,7 @@ X-Symbol support is deactivated."
      ,@args
      :group ,(quote proof-assistant-cusgrp)))
 
-; (proof-defass-custom test "Hello"
+;(proof-defass-custom test "Hello"
 ;  "Command"
 ;  :type 'string)
 		     
@@ -1904,7 +1906,7 @@ X-Symbol support is deactivated."
 
 ;;
 ;; 10. Global constants
-;; 
+
 (defcustom proof-general-name "Proof-General"
   "Proof General name used internally and in menu titles."
   :type 'string