From a0322bda8f08b2da7f1bc522d1322fcc9ac5ae87 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jan 2008 11:08:33 +0000
Subject: unload-pg: Update features

---
 lib/pg-dev.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 101c9de9..1f22a7bb 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -75,9 +75,10 @@
 		    (error nil)))
    '(proof-splash pg-assoc pg-xml proof-depends proof-indent proof-site
      proof-shell pg-metadata proof-menu pg-pbrpm pg-pgip proof-script
-     proof-autoloads pg-response pg-goals pg-pgip-old proof-toolbar
+     proof-autoloads pg-response pg-goals proof-toolbar
      proof-easy-config proof-config proof-mmm proof pg-xhtml
-     proof-utils proof-syntax proof-system pg-user proof-x-symbol
+     proof-utils proof-syntax pg-user pg-custom
+     proof-x-symbol proof-maths-menu proof-unicode-tokens
      pg-thymodes pg-autotest
      ;; 
      isar-syntax isar-find-theorems x-symbol-isar
-- 
cgit v1.2.3