From f3e393273fe11457510cd20507959c3390fa016e Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Mon, 19 Mar 2001 15:29:26 +0000
Subject: *** empty log message ***

---
 phox/phox-font.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'phox')

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
-- 
cgit v1.2.3