diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index f58f41f3..3c313990 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -19,7 +19,7 @@ "new_\\(intro\\|e\\(lim\\|quation\\)\\|rewrite\\)\\|" "a\\(dd_path\\|uthor\\)\\|" "c\\(l\\(aim\\|ose_def\\)\\|or\\(ollary\\)?\\)\\|" - "d\\(e\\(f\\(_thlist\\)?\\|l\\(_proof\\)\\)\\|ocuments\\|epend\\)\\|" + "d\\(e\\(f\\(\\(_thlist\\|rec\\)\\)?\\|l\\(_proof\\)\\)\\|ocuments\\|epend\\)\\|" "e\\(lim_after_intro\\|xport\\|del\\|show\\)\\|" "f\\(act\\|lag\\)\\|" "goal\\|" @@ -28,25 +28,29 @@ "p\\(ath\\|r\\(int\\(_sort\\)?\\|iority\\|op\\(osition\\)?\\|ove_claim\\)\\)\\|" "quit\\|" "s\\(ave\\|earch\\)\\|" - "t\\(ex\\(_syntax\\)?\\|heo\\(rem\\)?\\|itle\\)" + "t\\(ex\\(_syntax\\)?\\|heo\\(rem\\)?\\|itle\\|ype\\)" "\\)[ \t\n\r.]") '(0 'font-lock-keyword-face t)) ;proof command (cons (concat "\\([ \t]\\|^\\)\\(" - "a\\(bort\\|fter\\|pply\\|xiom\\)\\|" - "by_absurd\\|" + "a\\(bort\\|fter\\|nd\\|pply\\|ssume\\|xiom\\)\\|" + "by\\(_absurd\\)?\\|" "constraints\\|" "elim\\|" + "deduce\\|" + "evaluate\\(_hyp\\)?\\|" "from\\|" "goals\\|" "in\\(tros?\\|stance\\)\\|" - "l\\(oc\\(al\\|k\\)\\|efts?\\)\\|" + "l\\(oc\\(al\\|k\\)\\|e\\(t\\|fts?\\)\\)\\|" "next\\|" + "of\\|" "prove\\|" "r\\(e\\(write\\(_hyp\\)?\\|name\\)\\|mh\\)\\|" - "s\\(elect\\|lh\\)\\|" - "trivial\\|" - "u\\(se\\|n\\(do\\|fold\\(_hyp\\)?\\|lock\\)\\)" + "s\\(elect\\|how\\|lh\\)\\|" + "t\\(hen\\|rivial\\)\\|" + "u\\(se\\|n\\(do\\|fold\\(_hyp\\)?\\|lock\\)\\)\\|" + "with" "\\)[ \t.]") '(0 'font-lock-type-face t)))) |