diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-03-19 15:29:26 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-03-19 15:29:26 +0000 |
commit | f3e393273fe11457510cd20507959c3390fa016e (patch) | |
tree | b487966ea1b394f3cc4dd2f7c5248896db6c5f80 /phox | |
parent | b3bf2290c4410c324b18e5bbd2c2d8d00ae96df3 (diff) |
*** empty log message ***
Diffstat (limited to 'phox')
-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 |