Move x-sym config to x-symbol-isa.el

1 files changed, 0 insertions, 15 deletions

diff --git a/isa/isa.el b/isa/isa.el
index 6d0e7d7a..3e2c7b0f 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -613,21 +613,6 @@ you will be asked to retract the file or process the remainder of it."
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-;; 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
 ;;
 ;; Ideally this could be set automatically from the running process,