blob: 635360fb3f8cd4184953697ade50af6e0fe90098 (
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 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.
$Id$
|