From f607be020b5d5ebbca5a5b8a2cea2e234cace966 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 25 Feb 2017 14:10:53 -0500
Subject: elpa: Add a package file and a package.el-friendly init script

---
 proof-general-pkg.el | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 proof-general-pkg.el

(limited to 'proof-general-pkg.el')

diff --git a/proof-general-pkg.el b/proof-general-pkg.el
new file mode 100644
index 00000000..489731e9
--- /dev/null
+++ b/proof-general-pkg.el
@@ -0,0 +1,2 @@
+(define-package "proof-general" "4.4.1~pre" "A generic front-end for proof assistants (interactive theorem provers)"
+  '((emacs "24.4")))
-- 
cgit v1.2.3