diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-01-10 19:27:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-01-10 19:27:29 +0000 |
| commit | a054106b5c0d6fed882fc6cfef55468205557277 (patch) | |
| tree | acf416ed0c9098cb4912d6c7a115d33cf3979f17 /isar | |
| parent | 67d3451a758210d23f35cac79f897e06abd44a96 (diff) | |
proper font-lock of isar-keywords-proof-heading;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index d56c4961..89e78b87 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -72,7 +72,8 @@ isar-keywords-qed-block)) (defconst isar-keywords-proof - (append isar-keywords-proof-goal + (append isar-keywords-proof-heading + isar-keywords-proof-goal isar-keywords-proof-chain isar-keywords-proof-decl isar-keywords-qed)) |