From 40210401b135c80dd15c0a180491fe175a7d7fb9 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Thu, 25 Jul 2013 08:54:36 -0400
Subject: New proof general version

---
 emacsen/proofgeneral | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emacsen/proofgeneral b/emacsen/proofgeneral
index 89b08da..1afd9da 160000
--- a/emacsen/proofgeneral
+++ b/emacsen/proofgeneral
@@ -1 +1 @@
-Subproject commit 89b08da94021ec618c57026031c836aa1f7e0214
+Subproject commit 1afd9da42eaf12cf1c46f016372fb6d8054c58ff
-- 
cgit v1.2.3