diff options
| -rw-r--r-- | isa/isabelle-system.el | 17 |
1 files changed, 17 insertions, 0 deletions
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) |