made many minor changes to the documentation

1 files changed, 3 insertions, 0 deletions

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"