PhoX Windows Intallation

First you need to download This zip file and unzip it (you do not need to burn a CD).
Then follow the instruction in the readme.txt file. This will install phox in C:\PhoX and Xemac with ProofGeneral.

Advanced users only: If you want to choose another place for PhoX, you can move it and you need to set up the "PHOXPATH" environment variable in your "config.sys" file. "PHOXPATH" is a list of folder separated by ";". It should contain "PHOXDIR\lib" where "PHOXDIR" is the installation directory you choose.

Back to the PhoX Home Page

Christophe Raffalli /LAMA, Savoie University / raffalli@univ-savoie.fr

Last modified: Tue Apr 23 11:09:48 CEST 2002