blob: 9c955b84cd25b26c7e6be3372daab2f40d547f04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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.
|