diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index f34b051a..f58f41f3 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -16,7 +16,7 @@ "I\\(mport\\|nductive\\)\\|" "Use\\|" "Sort\\|" - "new_\\(intro\\|elim\\|rewrite\\)\\|" + "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\\)\\|" |