aboutsummaryrefslogtreecommitdiffhomepage
path: root/README
Commit message (Expand)AuthorAge
* Updating README wrt coq-club and ftp.Gravatar Hugo Herbelin2014-07-07
* Updating new ftp link to old archives.Gravatar Hugo Herbelin2013-11-24
* - changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...Gravatar notin2012-02-20
* MAJ fichiers spécifiques trunkGravatar herbelin2008-06-22
* Maj configure, README, etc...Gravatar notin2006-04-14
* MAJ docGravatar herbelin2004-06-02
* preparation pour release (suite)Gravatar barras2004-03-15
* MAJGravatar herbelin2003-12-27
* MAJ adresse ftpGravatar herbelin2003-07-09
* release 7.4; changement magic numberGravatar filliatr2003-02-03
* MAJ V7.3Gravatar herbelin2002-05-15
* MAJ 7.2Gravatar herbelin2001-12-19
* MAJ V7.1Gravatar herbelin2001-09-20
* *** empty log message ***Gravatar courant2001-04-25
* Mise a jour de la config pour distribGravatar mohring2001-04-10
* MAJGravatar herbelin2000-12-22
* compilation avec make de Solaris; README et INSTALLGravatar filliatr2000-11-03