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

---
 isa/isa.el | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 6d0e7d7a..3e2c7b0f 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -611,21 +611,6 @@ you will be asked to retract the file or process the remainder of it."
       (setq string (match-string 1 string))))
 
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; x-symbol support for Isabelle PG, provided by David von Oheimb.
-;;
-;; The following settings configure the generic PG package.
-;; The token language "Isabelle Symbols" is in file x-symbol-isabelle.el
-;;
-
-(setq proof-xsym-extra-modes '(thy-mode)
-      proof-xsym-activate-command
-      "print_mode := ([\"xsymbols\", \"symbols\"] @ ! print_mode);"
-      proof-xsym-deactivate-command
-      "print_mode := (! print_mode \\\\ [\"xsymbols\", \"symbols\"]);")
-
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Completion table for Isabelle identifiers
-- 
cgit v1.2.3