From ebba1e38ee0f8a2b3465348db2e4295a6984c197 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 17:36:41 +0000
Subject: Move x-sym config to x-symbol-isar.el

---
 isar/isar.el | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index c8eb87d6..08d6c9b9 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -605,21 +605,4 @@ proof-shell-retract-files-regexp."
 	     x-symbol-isabelle-font-lock-keywords)))
   (proof-goals-config-done))
 
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; x-symbol support
-;;
-;; The following settings configure the generic PG package.
-;; The token language "Isabelle Symbols" is in file isa/x-symbol-isabelle.el
-;;
-
-(setq
- proof-xsym-activate-command
- (isar-markup-ml 
-  "print_mode := ([\"xsymbols\", \"symbols\"] @ ! print_mode)")
- proof-xsym-deactivate-command
- (isar-markup-ml 
-  "print_mode := (Library.gen_rems (op =) (! print_mode, [\"xsymbols\", \"symbols\"]))"))
-
 (provide 'isar)
-- 
cgit v1.2.3