diff options
| -rw-r--r-- | proof-indent.el | 1 | ||||
| -rw-r--r-- | proof.el | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/proof-indent.el b/proof-indent.el index 42a2542b..c380a9c3 100644 --- a/proof-indent.el +++ b/proof-indent.el @@ -3,6 +3,7 @@ ;; Authors: Healfdene Goguen, Thomas Kleymann and Dilip Sequeira ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> +(require 'cl) (require 'proof-fontlock) ;; proof-fontlock ought to be renamed to proof-syntax @@ -9,6 +9,9 @@ ;; $Log$ +;; Revision 1.52 1998/06/03 17:34:04 hhg +;; Added (require 'cl) for emacs19. +;; ;; Revision 1.51 1998/06/03 16:03:02 hhg ;; Added proof-goto-end-of-locked-interactive as old ;; proof-goto-end-of-locked, and proof-goto-end-of-locked now doesn't @@ -254,6 +257,7 @@ ;; fixed a bug in proof-retract-until-point ;; +(require 'cl) (require 'compile) (require 'comint) (require 'etags) |