From 3e9fc0816fc333ff80d158afa26bb70e403e6b1f Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 15 Dec 1998 12:10:34 +0000
Subject: made many minor changes to the documentation

---
 isa/isa.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index c0118408..84aacf60 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -172,6 +172,9 @@ no regular or easily discernable structure."
    ;; matches names of assumptions
    proof-shell-assumption-regexp	isa-id
    ;; matches subgoal name
+   ;; FIXME: proof-shell-goal-regexp is *not* used at the generic level!
+   ;;        Perhaps it should be renamed to isa-goal-regexp and be
+   ;;        set somewhere else.  
    proof-shell-goal-regexp		"\370[ \t]*\\([0-9]+\\)\\."
 
    proof-shell-start-goals-regexp	"\366"
-- 
cgit v1.2.3