aboutsummaryrefslogtreecommitdiff
path: root/README.win
AgeCommit message (Expand)Author
2016-11-14Remove README.win until we come up with new instructions.Maxime Dénès
2015-02-14Win: update READMEEnrico Tassi
2011-04-21Win32: remove the need for Coq.bat and Coqide.batletouzey
2010-05-19Discontinue support for ocaml 3.09.*letouzey
2008-06-22MAJ fichiers spécifiques trunkherbelin
2007-10-09Oubli de GTK pour Windows + typonotin
2007-10-09Mise à jour de README.winnotin
2006-09-01Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)notin
2006-04-14Maj configure, README, etc...notin
2003-12-27MAJherbelin
2003-02-03majfilliatr
2003-02-03release 7.4; changement magic numberfilliatr
2001-12-28MAJ adresse coqherbelin
2001-12-19MAJ 7.2herbelin
2001-10-01Il faut camlp4 > 3.01.6 pour windowsherbelin
2001-09-20MAJ V7.1herbelin
2001-04-25Notes pour la version Windowsdelahaye
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:38:42 +0000