diff options
| -rw-r--r-- | isar/isar-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index b02434df..d56c4961 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -10,6 +10,7 @@ (require 'proof-syntax) (require 'isar-keywords) + ;; ----- character syntax (defun isar-init-syntax-table () @@ -131,7 +132,7 @@ (defconst isar-id "\\([A-Za-z][A-Za-z0-9'_]*\\)") (defconst isar-idx (concat isar-id "\\(\\.[0-9]+\\)?")) -(defconst isar-string "\"\\(\\([^\\\"]\\|\\\\\"\\)*\\)\"") +(defconst isar-string "\"\\(\\([^\"]\\|\\\\\"\\)*\\)\"") (defconst isar-any-command-regexp (isar-ids-to-regexp isar-keywords-major) |