From 70207f25ba7ea279f1e51f64ffebf69b10cfcfb6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 18:58:41 +0000
Subject: Remove unused subterm markup code

---
 isar/isabelle-system.el | 24 ------------------------
 1 file changed, 24 deletions(-)

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index 3eb029f4..bb565c54 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -339,30 +339,6 @@ for you, you should disable this behaviour."
       (locate-library "isar-keywords")))))
 
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Subterm markup -- faking it
-;;
-
-(defun isabelle-convert-idmarkup-to-subterm ()
-  "Convert identifier markup to subterm markup.
-This is a hook setting for `pg-after-fontify-output-hook' to
-enable identifiers to be highlighted.  (To disable that behaviour,
-the function `pg-remove-specials' can be used instead)."
-  ;; NB: the order of doing this is crucial: it must happen after
-  ;; fontifying (since replaces chars used for fontifying), but before
-  ;; X-Sym decoding (since some chars used for fontifying may clash
-  ;; with X-Sym character codes: luckily those codes don't seem to
-  ;; cause problems for subterm markup).
-  ;; Future version of this should use PGML output in Isabelle2002.
-  (goto-char (point-min))
-  (while (proof-re-search-forward "[\351-\357]" nil t)
-    (replace-match "\372\200\373" nil t))
-  (goto-char (point-min))
-  (while (proof-re-search-forward "\350" nil t)
-    (replace-match "\374" nil t)))
-
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Context-senstive in-span menu additions
-- 
cgit v1.2.3