blob: 06f201890a520403ccf66387e996d82237b8fc8b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
PhoX Proof General, for Phox.
Written by Christophe Raffalli
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.
$Id$
|