aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.win
Commit message (Expand)AuthorAge
* Win: update READMEGravatar Enrico Tassi2015-02-14
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Discontinue support for ocaml 3.09.*Gravatar letouzey2010-05-19
* MAJ fichiers spécifiques trunkGravatar herbelin2008-06-22
* Oubli de GTK pour Windows + typoGravatar notin2007-10-09
* Mise à jour de README.winGravatar notin2007-10-09
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 23:17:47 +0000