diff options
| author | Makarius Wenzel | 2005-08-18 19:45:54 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-08-18 19:45:54 +0000 |
| commit | a7f3d65c92abce83525e6b5bfafcbd02e2805b4a (patch) | |
| tree | e8dc1b52266189407f35eca06608eb3124b7eb86 | |
| parent | 5e28d72761e5973ed3bd98bc998fa6d8495b8777 (diff) | |
isar-goals-font-lock-keywords: calculation;
| -rw-r--r-- | isar/isar-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
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:" |