diff options
| -rw-r--r-- | isar/isar-syntax.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 6382a7f5..a0a54cb0 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -172,8 +172,9 @@ "next" "end" "by" - ".." - "." +;; FIXME +;; ".." +;; "." ) "Isabelle/Isar proof command keywords" :group 'isar-syntax @@ -219,7 +220,10 @@ (defconst isar-ids (proof-ids isar-id "[ \t]*") "Matches a sequence of identifiers separated by whitespace.") +;;FIXME (defconst isar-string "\"\\(\\([^\\\"]\\|\\\\\"\\)*\\)\"") +;;(defconst isar-string "\"\\(\\([^\\\"]\\|\\\\\"\\)*\\)\"\\|{|\\(\\([^|]\\||[^}]\\)*\\)|}") +;;(defconst isar-string "{|\\([^|]*\\)|}") (defconst isar-string-regexp (concat "\\s-*" isar-string "\\s-*") |