From 0a42eb29804f7e384a6f1c406b8811c8a50a4692 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:17:40 +0000
Subject: Begun work on clean byte compilation / clarifying interfaces.

---
 isa/isa-syntax.el | 1 -
 isa/isa.el        | 7 +++++--
 isa/thy-mode.el   | 1 +
 3 files changed, 6 insertions(+), 3 deletions(-)

(limited to 'isa')

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 93ad9758..07373805 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -9,7 +9,6 @@
 
 (require 'proof-syntax)
 
-
 ;;; Proof mode customization: how should it work?
 ;;;   Presently we have a bunch of variables in proof.el which are
 ;;;   set from a bunch of similarly named variables in <engine>-syntax.el.
diff --git a/isa/isa.el b/isa/isa.el
index 5bbde8fa..3c1d4ad8 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -9,11 +9,14 @@
 ;;
 
 
-(require 'isa-syntax)
-(require 'outline)
 (setq proof-tags-support nil)  ; we don't want it, no isatags prog.
 (require 'proof)
 
+(require 'isa-syntax)
+
+;; FIXME: outline should be autoloaded
+(require 'outline)			
+
 
 ;;;
 ;;; ======== User settings for Isabelle ========
diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index 57568a63..641be424 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -10,6 +10,7 @@
 ;; NAMESPACE management: all functions and variables declared
 ;; in this file begin with isa-thy-
 
+(require 'proof-site)
 (require 'isa)
 
 ;;; ========== Theory File Mode User Options ==========
-- 
cgit v1.2.3