diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-08 17:32:44 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-08 17:32:44 +0000 |
commit | c0b508af88e4cb3393a93c44dd7bea614caf7c0f (patch) | |
tree | d738e9ab07ea6400be494a737c54e62618bf2b01 /phox | |
parent | a6eb9868c60d0d51f5b8c2881f382970ecf00e91 (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 3064a855..5aef6964 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -18,7 +18,7 @@ "Sort\\|" "new_\\(intro\\|elim\\|rewrite\\)\\|" "a\\(dd_path\\|uthor\\)\\|" - "c\\(laim\\|ose_def\\|or\\(ollary\\)?\\)\\|" + "c\\(l\\(aim\\|ose_def\\)\\|or\\(ollary\\)?\\)\\|" "d\\(e\\(f\\(_thlist\\)?\\|l\\(_proof\\)\\)\\|ocuments\\|epend\\)\\|" "e\\(lim_after_intro\\|xport\\|del\\|show\\)\\|" "f\\(act\\|lag\\)\\|" |