English Version

Pcoq Version 1.4.
(Linux et Windows)

1. Pcoq sous Linux

Installation de démonstration

Si vous voulez une installation rapide et sans questions de pcoq pour l'essayer, nous suggérons que vous téléchargiez notre fichier d'installation et l'exécutiez dans une fenêtre de terminal. Par exemple, vous pouvez exécuter la commande suivante:

/bin/sh setup

Cette commande vous demandera de fournir un répertoire d'installation ou de confirmer le défaut et fera ensuite une installation rapide (et peut-être un peu hâtive) de pcoq pour que vous puissiez l'utiliser.

Installation standard

Pour les utilisateurs qui ont déjà Coq sur leur machine, faites attention: Pcoq requiert exactement la version 7.4 de Coq pour tourner. Si vous avez une version plus ancienne vous pouvez vouloir regarder les versions anciennes de pcoq. 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, s'assurer que la bonne version de coq est appelée par défaut en modifiant la variable PATH si besoin, 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). Pour lancer cette version de pcoq, il ne sera plus nécessaire de modifier votre variable PATH. 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.

2. Pcoq sous Windows

Pour installer pcoq, il suffit de copier de décompresser le fichier pcoq.zip sous C:\

Pour lancer pcoq, exécuter le script C:\pcoq\bin\pcoq.BAT

3. Distribution du code source

Enfin nous fournissons également une archive tar compressée des documents sources complets de pcoq. Pour compiler sur une plateforme Unix, vous devriez suivre les indications données par le lien suivant.

Configuration Requise

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.

4. Une introduction courte à pcoq

Sous Pcoq, chargez le fichier C:\pcoq\IntroductionFrancais.v qui explique l'utilisation élémentaire de Pcoq

5. Dans le futur

Pcoq est en plein développement. Pour vous tenir au courant des versions successives, consultez régulièrement la page internet de ce logiciel.

6. Dans le passé

Vous pouvez avoir accès aux versions passées de pcoq par notre site ftp.

Yves Bertot

Last modified: Tue Feb 11 15:25:15 MET 2003

Pcoq Version 1.4. (Linux et Windows)