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

---
 phox/README | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 phox/README

(limited to 'phox/README')

diff --git a/phox/README b/phox/README
new file mode 100644
index 00000000..9c955b84
--- /dev/null
+++ b/phox/README
@@ -0,0 +1,19 @@
+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