From 654813cfbde23c0855f1619d5894491dc1f7eec4 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 May 1999 19:24:05 +0000
Subject: renamed proof-commands-regexp to proof-indent-commands-regexp, which 
  is less confusing);

---
 generic/proof-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index d531d107..7a4a8330 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -56,10 +56,10 @@ nil if a region cannot be found."
 
 ;; Generic font-lock
 
-;; proof-commands-regexp is used for indentation
-(defvar proof-commands-regexp ""
+(defvar proof-indent-commands-regexp ""
   "Subset of keywords and tacticals which are terminated by the
-  `proof-terminal-char'") 
+`proof-terminal-char'.  Basic indentation is provided automatically
+for these.")
 
 
 (defvar proof-id "\\(\\w\\(\\w\\|\\s_\\)*\\)"
-- 
cgit v1.2.3