From 7a18897728fe7079deadd1cd6d24395b447de39d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 14:54:00 +0000
Subject: Package file (old attempt -- not working)

---
 generic/_pkg.el | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 generic/_pkg.el

diff --git a/generic/_pkg.el b/generic/_pkg.el
new file mode 100644
index 00000000..97a893ec
--- /dev/null
+++ b/generic/_pkg.el
@@ -0,0 +1,4 @@
+;;;###autoload
+(package-provide 'ProofGeneral
+		 :version "3.3pre010320"
+		 :type 'regular)
-- 
cgit v1.2.3