From ffea246f8fdffc628b50f646a087c88a9324dd41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 14:27:54 +0000
Subject: Do need to strip drive name as Jacques discovered.

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

diff --git a/isa/isa.el b/isa/isa.el
index 5fb46a08..5857ae20 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -168,10 +168,9 @@ and script mode."
    ;; on Windows.
    proof-shell-filename-escapes		
    (if (fboundp 'win32-long-file-name)	; rough test for XEmacs on win32 
-       ;; Patterns to unixfy names.
-       ;; Jacques Fleuriot's patch in ML does this too: ("^[a-zA-Z]:" . "") 
-       ;; But I'll risk leaving drive names in, not sure how to replace them.
-       '(("\\\\" . "/") ("\"" . "\\\""))
+       ;; Patterns to unixfy names.  Avoids a deliberate bomb in Isabelle which
+       ;; barfs at paths with these characters in them.
+       '(("\\\\" . "/") ("\"" . "\\\"") ("^[a-zA-Z]:" . ""))
      ;; Normal case: quotation for backslash, quote mark.
      '(("\\\\" . "\\\\") ("\""   . "\\\"")))
 
-- 
cgit v1.2.3