From 7a8fe1da30d114d34479226640af4c1ea690771c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:02:33 +0000
Subject: Fix to prevent {* being considered a command, flag edits

---
 isar/isar-keywords.el | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 55d3094b..8add31c2 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -2,15 +2,17 @@
 ;; Keyword classification tables for Isabelle/Isar.
 ;; This file generated by Isabelle99-2 -- DO NOT EDIT!
 ;;
+;; FIXME da: THIS VERSION HAS BEEN EDITED.  See ***'s below.
+;;
 ;; $Id$
 ;;
 
 (defconst isar-keywords-major
   '("\\."
     "\\.\\."
-    "types_code"
-    "consts_code"
-    "generate_code"
+    "types_code"    ;; ***
+    "consts_code"   ;; ***
+    "generate_code" ;; ***
     "ML"
     "ML_command"
     "ML_setup"
@@ -159,8 +161,12 @@
     "use_thy_only"
     "welcome"
     "with"
-    "{"
-    "}"))
+    ;; Next one causes {* to be recognized as a command, 
+    ;; unfortunately.
+    ;; "{"
+    "{[^\\*]" ;; ***
+    "}"
+    ))
 
 (defconst isar-keywords-minor
   '("actions"
-- 
cgit v1.2.3