renamed proof-commands-regexp to proof-indent-commands-regexp, which

  is less confusing);

1 files changed, 1 insertions, 1 deletions

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