From cb18d9ac92ee01ee012255d6449853d569083a6b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 27 Apr 1999 13:17:51 +0000
Subject: deactivated '.' and '..' keywords (tmp);

---
 isar/isar-syntax.el | 8 ++++++--
 1 file 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-*")
-- 
cgit v1.2.3