From d570f2770376b55f0c82b9e8ae84a64dd8b35b9c Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Wed, 3 Jun 1998 17:34:04 +0000
Subject: Added (require 'cl) for emacs19.

---
 proof-indent.el | 1 +
 proof.el        | 4 ++++
 2 files changed, 5 insertions(+)

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)
-- 
cgit v1.2.3