blob: 909ae8a89be8951be5954d59d335b86b97417a4e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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.
Soon compatible with x-symbol, but it does not work yet ...
$Id$
|