aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.ide
AgeCommit message (Expand)Author
2018-06-22Get rid of INSTALL.ide. List the dependency versions in INSTALL.Théo Zimmermann
2018-06-11[build] Fix checks and notes noting 4.02.1 instead of 4.02.3Emilio Jesus Gallego Arias
2018-01-04Update the lower-bound of the lablgtk dependency.Théo Zimmermann
2017-01-09Relax required OCaml to 4.02.1.Maxime Dénès
2016-05-26Update required OCaml version in configure.Maxime Dénès
2015-12-15Revert "Revert PMP's fix of #2498, which introduces an incompatibility with l...Pierre-Marie Pédrot
2015-12-14Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkMaxime Dénès
2015-11-25Advertising that CoqIDE requires lablgtk >= 2.16Pierre-Marie Pédrot
2015-10-13Fix some typos.Guillaume Melquiond
2015-01-29An update on INSTALL.ide.Hugo Herbelin
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2012-06-20Bug 2823: update INSTALL.ide in order to ask for lablgtksourceviewpboutill
2011-11-20CoqIdE configuration file won't pollute your home anymorepboutill
2010-05-19Discontinue support for ocaml 3.09.*letouzey
2009-11-05Changement de la version minimale requise de OCaml (3.07 => 3.09.3).notin
2008-05-28update gtk requirementsjnarboux
2008-05-27add install instruction for mandrivajnarboux
2008-01-07Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqidenotin
2007-10-10Mise à jour des notes d'installation pour Coqidenotin
2007-01-18Update installation instructions to the modern world a bit.lmamane
2006-09-01Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)notin
2003-11-12conseille l'utilisation de la release officielle 2.2.0 de lablgtkletouzey
2003-09-22typo (Benjamin, voyons ;)letouzey
2003-09-19Coqide : les nouveaute d'aoutmonate
2003-07-08Petite erreur dans le script d'install.corbinea
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
2003-05-12CoqIde: AccelMap supportmonate
2003-04-28coqide: search forwardmonate
2003-04-25new utf8.vmonate
2003-04-24*** empty log message ***monate
2003-04-10coqide: thread bug fixmonate
2003-03-14coqide: maj preferences du wizzardmonate
2003-03-05CoqIde: Install.ide Revert bugfix.monate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:31:45 +0000