From c0b508af88e4cb3393a93c44dd7bea614caf7c0f Mon Sep 17 00:00:00 2001 From: Christophe Raffalli Date: Thu, 8 Feb 2001 17:32:44 +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 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\\)\\|" -- cgit v1.2.3