diff options
| author | David Aspinall | 2001-08-01 18:13:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-01 18:13:14 +0000 |
| commit | 334e17253c5bdfaf2b9feff0367725768907a7bf (patch) | |
| tree | 1f5486f97dd656371bbb1b8945b39d630e23d663 | |
| parent | a352fc124821d8853fd6142d950cab45785dc44f (diff) | |
Regenerate to remove Christophes patch
| -rw-r--r-- | generic/proof-autoloads.el | 4 |
1 files changed, 1 insertions, 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) ;;;*** |