Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 493e13ed3a

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
.cvsignore
README
README.pbrpm
example.phx
phox-extraction.el
phox-font.el
phox-fun.el
phox-lang.el
phox-outline.el
phox-pbrpm.el
phox-sym-lock.el
phox-tags.el
phox.el
square-root-2.phx

README

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$

Something went wrong with that request. Please try again.