diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 14:51:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 14:51:30 +0000 |
commit | fe6aea4a33a0dcb68304e0cd6c07d1962c5861a9 (patch) | |
tree | fcbc0ca24fd1dcaf250cd21069f3eeae305a8b51 /isa | |
parent | bd9dcbe8a3b9062cea1c2f3d193df87c03185917 (diff) |
isa-system.el -> isabelle-system.el
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isa.el | 2 | ||||
-rw-r--r-- | isa/isabelle-system.el | 6 |
2 files changed, 4 insertions, 4 deletions
@@ -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 |