diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2005-08-26 20:00:11 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2005-08-26 20:00:11 +0000 |
| commit | f90711be0c4d2857914602bc9998ce54adacbe00 (patch) | |
| tree | 58baec1363067163df5a27dae22a7f72e14a87e2 /isar/isar-syntax.el | |
| parent | a7f3d65c92abce83525e6b5bfafcbd02e2805b4a (diff) | |
made ASCII backquote (`) alternative string delimiter;
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 4c4a8c3c..16b7849b 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -31,6 +31,7 @@ ?_ "w" ?\' "w" ?? "w" + ?` "\"" ?\( "()1" ?\) ")(4") (cond @@ -78,6 +79,7 @@ This list is in the right format for proof-easy-config.") ;; ignore strings so font-locking works ;; inside them (modify-syntax-entry ?\" " ") + (modify-syntax-entry ?` " ") (modify-syntax-entry ?\* ".") (modify-syntax-entry ?\( "()") (modify-syntax-entry ?\) ")(") @@ -250,8 +252,8 @@ matches contents of quotes for quoted identifiers.") (defconst isar-comment-start-regexp (regexp-quote isar-comment-start)) (defconst isar-comment-end-regexp (regexp-quote isar-comment-end)) -(defconst isar-string-start-regexp "\"\\|{\\*") -(defconst isar-string-end-regexp "\"\\|\\*}") +(defconst isar-string-start-regexp "\"\\|`\\|{\\*") +(defconst isar-string-end-regexp "\"\\|`\\|\\*}") ;; antiquotations |