diff options
| -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 5aef6964..49e9d0ed 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -28,7 +28,7 @@ "p\\(ath\\|r\\(int\\(_sort\\)?\\|iority\\|op\\(osition\\)?\\|ove_claim\\)\\)\\|" "quit\\|" "s\\(ave\\|earch\\)\\|" - "t\\(ex\\(_syntax\\)?\\|eheo\\(rem\\)?\\|itle\\)" + "t\\(ex\\(_syntax\\)?\\|heo\\(rem\\)?\\|itle\\)" "\\)[ \t\n\r.]") '(0 'font-lock-keyword-face t)) ;proof command |