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