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);

---
 isa/isa.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index a94150a2..91c0c164 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -125,7 +125,7 @@ no regular or easily discernable structure."
 	 (list isa-save-with-hole-regexp 2
 	       'backward isa-goal-command-regexp))
    ;;
-   proof-commands-regexp	(proof-ids-to-regexp isa-keywords)
+   proof-indent-commands-regexp	(proof-ids-to-regexp isa-keywords)
    
    ;; proof engine commands (first three for menus, last for undo)
    proof-prf-string		"pr();"
-- 
cgit v1.2.3