diff options
| author | Makarius Wenzel | 2000-12-28 17:47:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-12-28 17:47:30 +0000 |
| commit | 565299507f49aaa8a0c70242b34b4d41d2c5b160 (patch) | |
| tree | de77283ce5ab0ec085c0c8d54a13b024e001dd12 /isar | |
| parent | 7dae4db68c30e64f43a6b60de088ef080ddaa2ff (diff) | |
improved isar-string regexp;
Diffstat (limited to 'isar')
| -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) |