From 79c6d85b134e425d9b495c469c81ea18c6be4464 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 7 May 2000 10:37:33 +0000
Subject: Comments

---
 generic/proof-config.el | 6 ++++--
 1 file 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
-- 
cgit v1.2.3