From 06d72fb68fd9dd57632650f1a79de01317a6069f Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 22 Sep 2017 00:28:27 +0200
Subject: phox is back

---
 phox/README | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 phox/README

(limited to 'phox/README')

diff --git a/phox/README b/phox/README
deleted file mode 100644
index 635360fb..00000000
--- a/phox/README
+++ /dev/null
@@ -1,18 +0,0 @@
-PhoX Proof General, for Phox.
-
-Written by Christophe Raffalli and others
-
-Status:	       supported
-Maintainer:    Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
-PhoX version:  0.8
-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.
-
-
-
-$Id$
-
-- 
cgit v1.2.3