diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index 9e330ea2..3064a855 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -12,19 +12,20 @@ 0 'font-lock-string-face t) (cons (concat "\\([ \t]\\|^\\)\\(" "Cst\\|" - "Import\\|" + "Data\\|" + "I\\(mport\\|nductive\\)\\|" "Use\\|" "Sort\\|" "new_\\(intro\\|elim\\|rewrite\\)\\|" "a\\(dd_path\\|uthor\\)\\|" "c\\(laim\\|ose_def\\|or\\(ollary\\)?\\)\\|" - "d\\(e\\(f\\(_thlist\\)?\\|l\\)\\|ocuments\\|epend\\)\\|" + "d\\(e\\(f\\(_thlist\\)?\\|l\\(_proof\\)\\)\\|ocuments\\|epend\\)\\|" "e\\(lim_after_intro\\|xport\\|del\\|show\\)\\|" "f\\(act\\|lag\\)\\|" "goal\\|" "in\\(clude\\|stitute\\)\\|" "lem\\(ma\\)?\\|" - "p\\(ath\\|r\\(int\\(_sort\\)?\\|iority\\|op\\(osition\\)?\\)\\)\\|" + "p\\(ath\\|r\\(int\\(_sort\\)?\\|iority\\|op\\(osition\\)?\\|ove_claim\\)\\)\\|" "quit\\|" "s\\(ave\\|earch\\)\\|" "t\\(ex\\(_syntax\\)?\\|eheo\\(rem\\)?\\|itle\\)" |