From b00bded14999131150191874464aba92df976637 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 18:35:40 +0000
Subject: Fixes for x-symbol activation/deactivation strings

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

diff --git a/isa/isa.el b/isa/isa.el
index 04bb3baf..849014c5 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -159,8 +159,9 @@ no regular or easily discernable structure."
    ;; non-annotation, with val it's: "^\\(val it = () : unit\n\\)?> "
 
    ;; This pattern is just for comint, it matches a range of
-   ;; prompts from a range of MLs.
-   proof-shell-prompt-pattern		"^2?[-=#>]>? *"
+   ;; prompts from a range of MLs, including Isabelle's edited
+   ;; version.
+   proof-shell-prompt-pattern		"^2?[ML-=#>]>? \372?"
 
    ;; for issuing command, not used to track cwd in any way.
    proof-shell-cd-cmd			"cd \"%s\""
@@ -672,8 +673,8 @@ you will be asked to retract the file or process the remainder of it.
   '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face))))
 
 (setq proof-xsym-activate-command
-      "print_mode := !print_mode @ ["xsymbols","symbols"]"
+      "print_mode := (!print_mode union [\"xsymbols\",\"symbols\"])"
       proof-xsym-deactivate-command
-      "print_mode := filter_out (fn x=>prefix(rev (explode "symbols"),rev (explode x))) (!print_mode)")
+      "print_mode := filter_out (fn x=>(rev (explode \"symbols\") prefix rev (explode x))) (!print_mode)")
 
 (provide 'isa)
-- 
cgit v1.2.3