Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updating README wrt coq-club and ftp. | 2014-07-07 | |
* | Updating new ftp link to old archives. | 2013-11-24 | |
* | - changing minimal version for OCaml: Coq uses Filename.dirsep that is availa... | 2012-02-20 | |
* | MAJ fichiers spécifiques trunk | 2008-06-22 | |
* | Maj configure, README, etc... | 2006-04-14 | |
* | MAJ doc | 2004-06-02 | |
* | preparation pour release (suite) | 2004-03-15 | |
* | MAJ | 2003-12-27 | |
* | MAJ adresse ftp | 2003-07-09 | |
* | 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 | |
* | Mise a jour de la config pour distrib | 2001-04-10 | |
* | MAJ | 2000-12-22 | |
* | compilation avec make de Solaris; README et INSTALL | 2000-11-03 |