diff options
| -rw-r--r-- | isa/isa-syntax.el | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index ce98c1ce..a233dc8e 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -30,6 +30,29 @@ ; "Customization of Isabelle's syntax recognition" ; :group 'isa-scripting) +;; ----- character syntax + +(defun isa-init-syntax-table () + "Set appropriate values for syntax table in current buffer." + (modify-syntax-entry ?\$ ".") + (modify-syntax-entry ?\/ ".") + (modify-syntax-entry ?\\ ".") + (modify-syntax-entry ?+ ".") + (modify-syntax-entry ?- ".") + (modify-syntax-entry ?= ".") + (modify-syntax-entry ?% ".") + (modify-syntax-entry ?< ".") + (modify-syntax-entry ?> ".") + (modify-syntax-entry ?\& ".") + (modify-syntax-entry ?. "w") + (modify-syntax-entry ?_ "w") + (modify-syntax-entry ?\' "w") + (modify-syntax-entry ?\| ".") + (modify-syntax-entry ?\* ". 23") + (modify-syntax-entry ?\( "()1") + (modify-syntax-entry ?\) ")(4")) + + ;; ----- syntax for font-lock and other features ;; FIXME: this command-keyword orientation isn't good @@ -100,6 +123,7 @@ (defconst isa-tacticals '("REPEAT" "THEN" "ORELSE" "TRY")) + ;; ----- regular expressions (defconst isa-id proof-id) |