aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.win
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 21:59:45 +0000