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
Raffalli /LAMA, Savoie University / firstname.lastname@example.org
Last modified: Tue Apr 23 11:09:48 CEST 2002