diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-10-31 19:43:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-10-31 19:43:12 +0000 |
| commit | a33a0182a3115bb1591c9f5874635c621e7d190e (patch) | |
| tree | 874a3dabbba4b1132803bff3b127da379bfa34c5 /isar | |
| parent | 5e2bdd1d33f08223b6ecf0f379e6b12d807e032b (diff) | |
tuned isar-goals-font-lock-keywords;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index a6bab391..7729b6cb 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -314,8 +314,10 @@ "^type constraints:" "^default sorts:" "^used type variable names:" - "^[Vv]ariables:$" - "^[Cc]onstants:$" + "^[Ff]lex-flex pairs:" + "^[Cc]onstants:" + "^[Vv]ariables:" + "^[Tt]ype variables:" "^\\s-*[0-9][0-9]?\\. ") isar-output-font-lock-keywords-1) "*Font-lock table for Isabelle/Isar output.") |