diff options
| author | Makarius Wenzel | 1999-04-27 13:17:51 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-04-27 13:17:51 +0000 |
| commit | cb18d9ac92ee01ee012255d6449853d569083a6b (patch) | |
| tree | 3cfedb1c181eec091db7b741add0d92fb0f83cd8 | |
| parent | 9bcaaf7cac9380e92d6663402d6c56bfd20fcc5b (diff) | |
deactivated '.' and '..' keywords (tmp);
| -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-*") |