From 8247e2f5be2e0da25e49f676ebc2ab461b131b98 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Nov 1999 16:04:43 +0000
Subject: Matching goals regexp.  Comments.

---
 isa/isa.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index f5bea836..34697768 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -184,7 +184,7 @@ and script mode."
    ;;        set somewhere else.  
    proof-shell-goal-regexp		"\370[ \t]*\\([0-9]+\\)\\."
 
-   proof-shell-start-goals-regexp	"\366\n"
+   proof-shell-start-goals-regexp	"\366"
    proof-shell-end-goals-regexp		"\367"
    proof-shell-goal-char	        ?\370
 
@@ -684,9 +684,9 @@ you will be asked to retract the file or process the remainder of it.
 ;;
 
 (setq proof-xsym-extra-modes
-      '(isasym-mode ; necessary?
-	thy-mode
-	shell-mode) ; necessary?
+      '(isasym-mode			; FIXME: necessary?
+	thy-mode			; FIXME: necessary?
+	shell-mode)			; FIXME: necessary?
       proof-xsym-font-lock-keywords
       '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face)))
       proof-xsym-activate-command
-- 
cgit v1.2.3