diff options
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isa.el | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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" |