From fc3850fc2392a2269e87cb808f43c6de11535e2f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 13:14:30 +0000
Subject: Quoted backslashes.

---
 isa/isa.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index 6a679e4e..4ec69f84 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -44,7 +44,7 @@
 
 (defcustom isabelle-prog-name 
   (if (fboundp 'win32-long-filename)	; rough test for XEmacs on win32
-      "C:\sml\bin\.run\run.x86-win32.exe @SMLload=C:\Isabelle\HOL"
+      "C:\\sml\\bin\\.run\\run.x86-win32.exe @SMLload=C:\\Isabelle\\HOL"
     "isabelle")
   "*Name of program to run Isabelle.
 The default value when running under Windows expects SML/NJ in C:\\sml
-- 
cgit v1.2.3