From 1756a6cc395e656ed8c0ae4bac5b9d12985a74ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Sep 2009 23:18:29 +0000
Subject: Remove some old X-Symbol references.

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

(limited to 'lib/pg-dev.el')

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index f7d66857..d334a40a 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -82,11 +82,11 @@
      proof-maths-menu proof-unicode-tokens
      pg-thymodes pg-autotest
      ;; 
-     isar-syntax isar-find-theorems x-symbol-isar
+     isar-syntax isar-find-theorems isar-unicode-tokens
      isar-autotest interface-setup isabelle-system isar isar-mmm
      isar-keywords
      ;;
-     coq-abbrev coq-db x-symbol-coq coq-local-vars coq coq-syntax
+     coq-abbrev coq-db coq-unicode-tokens coq-local-vars coq coq-syntax
      coq-indent coq-autotest)))
 
      
-- 
cgit v1.2.3