From 4509ba502f2332612bc4d5cd7502347987f8ad0d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 10 Sep 2001 11:52:44 +0000
Subject: isar-goals-font-lock-keywords: corollary;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index d79ca239..b4cb6cf6 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -290,6 +290,7 @@
     "^proof (prove):"
     "^proof (state):"
     "^proof (chain):"
+    "^goal (corollary.*):"
     "^goal (theorem.*):"
     "^goal (lemma.*):"
     "^goal (have.*):"
-- 
cgit v1.2.3