aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.win
Commit message (Expand)AuthorAge
* 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