From bf35167a87fc74a3317b2c08937b85e4b48cf0d0 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 1 Dec 2000 17:32:21 +0000
Subject: af2 is now called PhoX

---
 af2/README | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'af2/README')

diff --git a/af2/README b/af2/README
index 8d0f990f..9c955b84 100644
--- a/af2/README
+++ b/af2/README
@@ -1,4 +1,4 @@
-AF2 Proof General, for AF2.
+PhoX Proof General, for Phox.
 
 Written by Christophe Raffalli
 
@@ -6,13 +6,13 @@ $Id$
 
 Status:	       supported
 Maintainer:    Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
-AF2 version:   
-AF2 homepage:  http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html
+PhoX version:  0.7
+PhoX homepage:  http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html
 
 ========================================
 
-This mode has support for script management with AF2, and some
-other features ported from AF2's own Emacs mode.
+This mode has support for script management with PhoX, and some
+other features ported from PhoX's own Emacs mode.
 
 
 
-- 
cgit v1.2.3