From 9ea00d485050d4ed13e2a7e034eb918dfd63de33 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 10 Feb 2006 23:36:50 +0000
Subject: isar-goals-font-lock-keywords: "abbreviations";

---
 isar/isar-syntax.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isar')

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index f9f7bd1b..a93afdeb 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -393,6 +393,7 @@ matches contents of quotes for quoted identifiers.")
     "^using.*:"
     "^calculation:"
     "^this:"
+    "^abbreviations:"
     "^term bindings:"
     "^facts:"
     "^cases:"
-- 
cgit v1.2.3