La version courante de pcoq est la version 1.2.
Pcoq se présente simplement sous la forme d'une archive java au format jar et d'un tout petit script shell dans lequel trois variables doivent être mises à jour au moment de l'installation. Ces fichiers, ainsi que les fichiers indiquant les droits de copie sont fournis dans une archive tar compressée. Pour installer Pcoq à partir de cette archive, construire le répertoire d'installation de votre choix (par exemple /usr/lib/pcoq), extraire le contenu de l'archive dans ce répertoire, puis exécuter la commande install qui se trouve dans ce répertoire. Ceci engendrera une commande pcoq, également dans cette directory, que vous pourrez copier où vous voulez (par exemple dans /usr/bin/pcoq). Avant de l'utiliser vérifiez bien que vous avez une version de java adéquate (voir plus bas).
Nous fournissons également un paquetage rpm, qui suppose que coq est déjà installé par le paquetage rpm fourni par les développeurs de Coq.
Pour utiliser pcoq, vous avez besoin de :
Copiez le répertoire D:\Tools\pcoq\.pcoq dans C:\WINDOWS si vous êtes sous 98, et dans votre répertoire d'utilisateur si vous êtes sous NT..
Pour lancer Pcoq, lancez le fichier
D:\Tools\pcoq\bin\pcoq.BAT
Sous Pcoq, chargez le fichier
D:\Tools\pcoq\IntroductionFrancais.vqui explique l'utilisation élémentaire de Pcoq
Enfin nous fournissons également une archive tar compressée des documents sources complets de pcoq. Pour compiler à partir de cetter archive, vous devriez suivre les indications données par le lien suivant.
Ce code fonctionne avec java 1.3. Pour les claviers Azerty, il est nécessaire de prendre au moins la version jdk1.3.1.rc1. Les versions plus anciennes ne traitent pas bien les claviers non-américains.
Pcoq est en plein développement. Pour vous tenir au courant des versions successives, consultez régulièrement la page internet de ce logiciel.