Commit message (Expand) | Author | Age | |
---|---|---|---|
* | adding binary files that are needed for the graphical user-interface pcoq | 2001-04-24 | |
* | Mise a jour de la config pour distrib | 2001-04-10 | |
* | Nouvelle beta | 2001-02-02 | |
* | Améliorations | 2000-12-27 | |
* | cleanall | 2000-12-22 | |
* | Pour créer les archives distribuées | 2000-12-22 |