aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.ide
AgeCommit message (Collapse)Author
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
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
2003-11-12conseille l'utilisation de la release officielle 2.2.0 de lablgtkletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4861 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-22typo (Benjamin, voyons ;)letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4443 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-19Coqide : les nouveaute d'aoutmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4424 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-07-08Petite erreur dans le script d'install.corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4228 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4221 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-12CoqIde: AccelMap supportmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-28coqide: search forwardmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-25new utf8.vmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3953 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-24*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3949 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10coqide: thread bug fixmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3900 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14coqide: maj preferences du wizzardmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3774 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-05CoqIde: Install.ide Revert bugfix.monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3741 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 21:40:37 +0000