diff options
Diffstat (limited to 'phox/README')
| -rw-r--r-- | phox/README | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/phox/README b/phox/README new file mode 100644 index 00000000..c50f814f --- /dev/null +++ b/phox/README @@ -0,0 +1,18 @@ +PhoX Proof General, for Phox. + +Written by Christophe Raffalli + +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. + +Soon compatible with x-symbol, but it does not work yet ... + +$Id$ + |