From a33a0182a3115bb1591c9f5874635c621e7d190e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Tue, 31 Oct 2000 19:43:12 +0000
Subject: tuned isar-goals-font-lock-keywords;

---
 isar/isar-syntax.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'isar')

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index a6bab391..7729b6cb 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -314,8 +314,10 @@
     "^type constraints:"
     "^default sorts:"
     "^used type variable names:"
-    "^[Vv]ariables:$"
-    "^[Cc]onstants:$"
+    "^[Ff]lex-flex pairs:"
+    "^[Cc]onstants:"
+    "^[Vv]ariables:"
+    "^[Tt]ype variables:"
     "^\\s-*[0-9][0-9]?\\. ")
    isar-output-font-lock-keywords-1)
   "*Font-lock table for Isabelle/Isar output.")
-- 
cgit v1.2.3