This the page for pcoq version 1.2.
Pcoq is simply available as java archive in jar format, with a small shell script, in which three variables must be updated when it is installed. These files and the files describing copyright and license policies are provided in a compressed tar archive. To install Pcoq from this archive, build the directory of your choice (for instance /usr/lib/pcoq, extract the tar archive in this directory, and execute the install command that appears in this directory. This creates a pcoq that can be copied everywhere (for instance, in /usr/lib/pcoq). The other files should not be moved. If you need to move them, then you will need to re-run the install command. Before you use this installation of pcoq, make sure you use the right version of java (see below).
We also provide a rpm package, which requires that coq is already installed with the rpm package provided by the coq developers.
To run pcoq, you need:
Unzip pcoq.zip as a directory D:\Tools\pcoq
Copy the directory D:\Tools\pcoq\.pcoq in C:\WINDOWS if 98 or in your home directory if NT.
Then to run pcoq, run the file D:\Tools\pcoq\bin\pcoq.BAT
Last, we distribute this software as sources (Pcoq sources). To compile them, you should follow the instructions given by this link
To run correctly pcoq requires java version 1.3. On non-american keyboards, like french or german keyboards it is necessary to take at least java version 1.3.1.rc1. These version are available, for instance, from Sun at the their address.
Pcoq is still moving. To keep informed about future releases and bug fixes, please have a look at the web page for this software.
Past releases of pcoq can be accessed through our ftp site.