From b317e75d1b45b4ca2945178eafc9f09257afb710 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Jul 2002 23:08:45 +0000
Subject: Add conversion of idmarkup to subterm

---
 isa/isabelle-system.el | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 6ca185c7..53d48110 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -404,6 +404,23 @@ until Proof General is restarted."
 (defvar x-symbol-isabelle-font-lock-keywords nil)
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Subterm markup -- faking it
+;;
+
+(defun isabelle-convert-idmarkup-to-subterm ()
+  "Convert identifier markup to subterm markup.
+This is a hook setting for `pg-before-subterm-markup-hook' to
+enable identifiers to be highlighted.  (To disable that behaviour,
+the `pg-remove-specials' can be used instead)."
+  (goto-char (point-min))
+  (while (re-search-forward 
+	  "\351\\|\352\\|\353\\|\354\\|\355\\|\356\\|\357" nil t)
+    (replace-match "\372\200\373" nil t))
+  (goto-char (point-min))
+  (while (re-search-forward "\350" nil t)
+    (replace-match "\374" nil t)))
 
 
 (provide 'isabelle-system)
-- 
cgit v1.2.3