Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 | |
* | preparation pour release (suite) | 2004-03-15 | |
* | MAJ | 2003-12-27 | |
* | release 7.4; changement magic number | 2003-02-03 | |
* | MAJ V7.3 | 2002-05-15 | |
* | MAJ 7.2 | 2001-12-19 | |
* | MAJ V7.1 | 2001-09-20 | |
* | *** empty log message *** | 2001-04-25 | |
* | modif rpm | 2001-04-25 | |
* | Mise a jour de la config pour distrib | 2001-04-10 | |
* | MAJ | 2000-12-22 | |
* | mise à jour | 2000-11-29 | |
* | compilation avec make de Solaris; README et INSTALL | 2000-11-03 |