diff options
| author | David Aspinall | 1998-10-27 12:17:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 12:17:40 +0000 |
| commit | 0a42eb29804f7e384a6f1c406b8811c8a50a4692 (patch) | |
| tree | c4c6e0dc6ef21e5b5d181bfd3d8733824fb34b01 /isa | |
| parent | 2dad869969276edbe077c7576959a37692e0c12c (diff) | |
Begun work on clean byte compilation / clarifying interfaces.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isa-syntax.el | 1 | ||||
| -rw-r--r-- | isa/isa.el | 7 | ||||
| -rw-r--r-- | isa/thy-mode.el | 1 |
3 files changed, 6 insertions, 3 deletions
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. @@ -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 ========== |