Added (require 'cl) for emacs19.

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
 
diff --git a/proof.el b/proof.el
index 38652d07..0f8434fa 100644
--- a/proof.el
+++ b/proof.el
@@ -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)