From 8064284fe3e2a276d9310d04d0c593ed6ced527b Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Tue, 19 Feb 2013 14:37:50 -0500
Subject: Added proofgeneral

---
 emacsen/proofgeneral | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 emacsen/proofgeneral

(limited to 'emacsen/proofgeneral')

diff --git a/emacsen/proofgeneral b/emacsen/proofgeneral
new file mode 160000
index 0000000..89b08da
--- /dev/null
+++ b/emacsen/proofgeneral
@@ -0,0 +1 @@
+Subproject commit 89b08da94021ec618c57026031c836aa1f7e0214
-- 
cgit v1.2.3