From fe6aea4a33a0dcb68304e0cd6c07d1962c5861a9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 14:51:30 +0000
Subject: isa-system.el -> isabelle-system.el

---
 isa/isa.el             | 2 +-
 isa/isabelle-system.el | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 59dc90ba..65c72d75 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -32,7 +32,7 @@
 
 (require 'proof)
 (require 'isa-syntax)
-(require 'isa-system)
+(require 'isabelle-system)
 
 ;;;
 ;;; ======== User settings for Isabelle ========
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index b9e1b303..48709e7f 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -1,4 +1,4 @@
-;; isa-system.el Interface with Isabelle system
+;; isabelle-system.el Interface with Isabelle system
 ;;
 ;; Copyright (C) 2000 LFCS Edinburgh, David Aspinall. 
 ;;
@@ -260,5 +260,5 @@ Otherwise return a string for configuring all settings."
 
 
 
-(provide 'isa-system)
-;; End of isa-system.el
\ No newline at end of file
+(provide 'isabelle-system)
+;; End of isabelle-system.el
\ No newline at end of file
-- 
cgit v1.2.3