From aecffead9a0441b1dfb935bfb0f4afbd7f3d681d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 17 Nov 1999 13:56:25 +0000 Subject: Remove some obsolete/unecessary stuff. --- isa/isa.el | 7 +++---- 1 file 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" -- cgit v1.2.3