From cac8c807510dd51a60fbed0993e1fd0c2dd9527f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 14:19:55 +0000
Subject: Fix name of win32-long-file-name used as check.

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

diff --git a/isa/isa.el b/isa/isa.el
index 4ec69f84..5fb46a08 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -43,7 +43,7 @@
 ;  :group 'isabelle)
 
 (defcustom isabelle-prog-name 
-  (if (fboundp 'win32-long-filename)	; rough test for XEmacs on win32
+  (if (fboundp 'win32-long-file-name)	; rough test for XEmacs on win32
       "C:\\sml\\bin\\.run\\run.x86-win32.exe @SMLload=C:\\Isabelle\\HOL"
     "isabelle")
   "*Name of program to run Isabelle.
@@ -167,7 +167,7 @@ and script mode."
    ;; backslashes to forward slashes if it looks like we're running
    ;; on Windows.
    proof-shell-filename-escapes		
-   (if (fboundp 'win32-long-filename)	; rough test for XEmacs on win32 
+   (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.
-- 
cgit v1.2.3