releases/ProofGeneral/phox/README
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.
README,v 9.1 2008/01/31 23:35:17 da Exp
Click
here
to go back to the front page.
Web pages by
David Aspinall
.
Contact
Proof General maintainer.
Last modified 12 November 2009.
