Remove some obsolete/unecessary stuff.

1 files changed, 3 insertions, 4 deletions

diff --git a/isa/isa.el b/isa/isa.el
index abccc07f..0a09795c 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -149,10 +149,9 @@ and script mode."
    ;; 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]+\\)\\."
+   ;; FIXME: not used yet.  In future will be used for
+   ;; proof-by-pointing like features.
+   ;; proof-shell-goal-regexp		"\370[ \t]*\\([0-9]+\\)\\."
 
    proof-shell-start-goals-regexp	"\366"
    proof-shell-end-goals-regexp		"\367"