diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 12:17:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 12:17:40 +0000 |
| commit | 0a42eb29804f7e384a6f1c406b8811c8a50a4692 (patch) | |
| tree | c4c6e0dc6ef21e5b5d181bfd3d8733824fb34b01 /generic/proof-indent.el | |
| parent | 2dad869969276edbe077c7576959a37692e0c12c (diff) | |
Begun work on clean byte compilation / clarifying interfaces.
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 515c304f..74638bef 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -5,9 +5,11 @@ ;; ;; $Id$ ;; +;; FIXME: byte compile complains about not knowing +;; proof-script-buffer-list, proof-goto-end-of-locked, +;; proof-locked-end -(require 'cl) -(require 'proof-syntax) +(require 'proof) (defvar proof-stack-to-indent nil "Prover-specific code for indentation.") |