aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.macosx
AgeCommit message (Collapse)Author
2015-01-29Removing outdated INSTALL.macosx file; instructions are more likely toHugo Herbelin
be up-to-date on the web. If someone can check that INSTALL.win is up-to-date, that'd be nice.
2007-04-24MAJ ppc/i386herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9791 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-01-18Update installation instructions to the modern world a bit.lmamane
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9500 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-01-18Update for v8.1lmamane
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9499 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
2004-03-15MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5495 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-29MAJ 7.3herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2713 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-15MAJ V7.3herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2689 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2377 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2376 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2375 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:40:16 +0000