Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ fichiers spécifiques trunk | 2008-06-22 | |
* | Oubli de GTK pour Windows + typo | 2007-10-09 | |
* | Mise à jour de README.win | 2007-10-09 | |
* | Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok) | 2006-09-01 | |
* | Maj configure, README, etc... | 2006-04-14 | |
* | MAJ | 2003-12-27 | |
* | maj | 2003-02-03 | |
* | release 7.4; changement magic number | 2003-02-03 | |
* | MAJ adresse coq | 2001-12-28 | |
* | MAJ 7.2 | 2001-12-19 | |
* | Il faut camlp4 > 3.01.6 pour windows | 2001-10-01 | |
* | MAJ V7.1 | 2001-09-20 | |
* | Notes pour la version Windows | 2001-04-25 |