diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index 8c0816c9..29d40d9f 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -38,12 +38,12 @@ "from\\|" "goals\\|" "in\\(tros?\\|stance\\)\\|" - "l\\(ocal\\|efts?\\)\\|" + "l\\(oc\\(al\\|k\\)\\|efts?\\)\\|" "next\\|" "r\\(e\\(write\\(_hyp\\)?\\|name\\)\\|mh\\)\\|" "slh\\|" "trivial\\|" - "u\\(se\\|n\\(do\\|fold\\(_hyp\\)?\\)\\)" + "u\\(se\\|n\\(do\\|fold\\(_hyp\\)?\\|lock\\)\\)" "\\)[ \t.]") '(0 'font-lock-type-face t)))) |