aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.win
Commit message (Expand)AuthorAge
* Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)Gravatar notin2006-09-01
* Maj configure, README, etc...Gravatar notin2006-04-14
* MAJGravatar herbelin2003-12-27
* majGravatar filliatr2003-02-03
* release 7.4; changement magic numberGravatar filliatr2003-02-03
* MAJ adresse coqGravatar herbelin2001-12-28
* MAJ 7.2Gravatar herbelin2001-12-19
* Il faut camlp4 > 3.01.6 pour windowsGravatar herbelin2001-10-01
* MAJ V7.1Gravatar herbelin2001-09-20
* Notes pour la version WindowsGravatar delahaye2001-04-25