From a7f3d65c92abce83525e6b5bfafcbd02e2805b4a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 18 Aug 2005 19:45:54 +0000
Subject: isar-goals-font-lock-keywords: calculation;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 14477bf5..4c4a8c3c 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -372,6 +372,7 @@ matches contents of quotes for quoted identifiers.")
     "^goal.*:"
     "^picking.*:"
     "^using.*:"
+    "^calculation:"
     "^this:"
     "^term bindings:"
     "^facts:"
-- 
cgit v1.2.3