From 0cae8f649af886d56acba33a7b4c491de04bf483 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Fri, 22 Dec 2000 14:10:07 +0000
Subject: *** empty log message ***

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

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index 8261cb03..aa10f89c 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -115,7 +115,7 @@
    (concat
     "^"
     phox-comments-regexp
-    "\\(goal\\|prop\\(osition\\)?\\|em\\(ma\\)?\\|fact\\|cor\\(ollary\\)?\\|theo\\(rem\\)?\\)")
+    "\\(goal\\|prop\\(osition\\)?\\|lem\\(ma\\)?\\|fact\\|cor\\(ollary\\)?\\|theo\\(rem\\)?\\)")
    proof-save-command-regexp       
    (concat
     "^"
-- 
cgit v1.2.3