Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | ajout necessaire pour paquet debian | courant | 2001-04-24 | |
* | adding binary files that are needed for the graphical user-interface pcoq | bertot | 2001-04-24 | |
* | ajout du cas win32 | courant | 2001-04-19 | |
* | *** empty log message *** | courant | 2001-04-19 | |
* | Mise a jour de la config pour distrib | mohring | 2001-04-10 | |
* | Nouvelle beta | herbelin | 2001-02-02 | |
* | Suppression du retrait du répertoire doc de l'archive tar-gzip-ée | herbelin | 2001-01-27 | |
* | Améliorations | herbelin | 2000-12-27 | |
* | Typo | herbelin | 2000-12-22 | |
* | cleanall | herbelin | 2000-12-22 | |
* | MAJ V7 | herbelin | 2000-12-22 | |
* | Pour créer les archives distribuées | herbelin | 2000-12-22 |