From 5b1c6bbd4b23f9ebfd39caf4d7fd0811da812cda Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Tue, 20 Feb 2001 09:36:59 +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 480b3386..1e584d57 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -115,7 +115,7 @@
     "\\`\\(pro\\(p\\(osition\\)?\\|ve_claim\\)\\(osition\\)?\\|lem\\(ma\\)?\\|fact\\|cor\\(ollary\\)?\\|theo\\(rem\\)?\\)"
     phox-strict-comments-regexp
     phox-ident-regexp)
-   proof-goal-with-hole-result     14
+   proof-goal-with-hole-result     15
    proof-save-with-hole-regexp     
    (concat 
     "\\`save"
-- 
cgit v1.2.3