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

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

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 6eb8061c..4ba4586a 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -406,7 +406,7 @@ Given is the first SPAN which needs to be undone."
 	proof-save-with-hole-regexp plastic-save-with-hole-regexp
 	proof-goal-with-hole-regexp plastic-goal-with-hole-regexp
 	proof-kill-goal-command plastic-kill-goal-command
-	proof-commands-regexp (proof-ids-to-regexp plastic-commands))
+	proof-indent-commands-regexp (proof-ids-to-regexp plastic-commands))
 
   (plastic-init-syntax-table)
 
-- 
cgit v1.2.3