From 59e99ef53e76cdb15a7609b88d996e99afe31c20 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 1 Dec 2000 17:46:38 +0000
Subject: af2 is now called PhoX

---
 af2/README | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 af2/README

(limited to 'af2/README')

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