aboutsummaryrefslogtreecommitdiff
path: root/README.win
AgeCommit message (Collapse)Author
2008-06-22MAJ fichiers spécifiques trunkherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11165 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-10-09Oubli de GTK pour Windows + typonotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10201 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-10-09Mise à jour de README.winnotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10200 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-09-01Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9116 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-04-14Maj configure, README, etc...notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8712 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-27MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3653 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03release 7.4; changement magic numberfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJ adresse coqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2374 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2337 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-01Il faut camlp4 > 3.01.6 pour windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2089 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2027 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Notes pour la version Windowsdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1724 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 14:44:51 +0000