From 334e17253c5bdfaf2b9feff0367725768907a7bf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 18:13:14 +0000
Subject: Regenerate to remove Christophes patch

---
 generic/proof-autoloads.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
index dd92c16d..c3710c1a 100644
--- a/generic/proof-autoloads.el
+++ b/generic/proof-autoloads.el
@@ -3,9 +3,7 @@
 
 ;;;### (autoloads nil "_pkg" "generic/_pkg.el")
 
-; package-provide is not provided by FSFEmacs
-(if (fboundp 'package-provide)
-    (package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular))
+(package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular)
 
 ;;;***
 
-- 
cgit v1.2.3