diff options
Diffstat (limited to 'phox/README')
| -rw-r--r-- | phox/README | 19 |
1 files changed, 19 insertions, 0 deletions
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. + + + + |