blob: 4bbd01f12433be16437aa069fcd7d9cdcbec2032 (
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.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.
Soon compatible with x-symbol, but it does not work yet ...
$Id$
|