From d0720d63e598fe64a91e1579df9dc45fde311dba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 14 Dec 2007 14:32:56 +0000
Subject: Updated.

---
 generic/proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 832bdc80..b0963f51 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -133,7 +133,7 @@ of the proof (starting from 1).")
      proof-utils proof-syntax proof-system _pkg pg-user proof-x-symbol
      pg-thymodes pg-autotest
      ;; 
-     isar-syntax isar-find-theorems x-symbol-isabelle x-symbol-isar
+     isar-syntax isar-find-theorems x-symbol-isar
      isar-autotest interface-setup isabelle-system isar isar-mmm
      isar-keywords
      ;;
-- 
cgit v1.2.3