diff options
| author | Makarius Wenzel | 1999-08-18 17:07:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-18 17:07:19 +0000 |
| commit | e198b84fe257e751f7748983292b755461df5881 (patch) | |
| tree | 318f1b992e699333a87c76a840b9306b60590e0c | |
| parent | ddbaaac9404e0925bb0e99e393103e8e6143333f (diff) | |
isa-init-syntax-table moved here from isa.el;
| -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) |