1 files 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"