aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.ide
Commit message (Expand)AuthorAge
* Update the lower-bound of the lablgtk dependency.Gravatar Théo Zimmermann2018-01-04
* Relax required OCaml to 4.02.1.Gravatar Maxime Dénès2017-01-09
* Update required OCaml version in configure.Gravatar Maxime Dénès2016-05-26
* Revert "Revert PMP's fix of #2498, which introduces an incompatibility with l...Gravatar Pierre-Marie Pédrot2015-12-15
* Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkGravatar Maxime Dénès2015-12-14
* Advertising that CoqIDE requires lablgtk >= 2.16Gravatar Pierre-Marie Pédrot2015-11-25
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* An update on INSTALL.ide.Gravatar Hugo Herbelin2015-01-29
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Bug 2823: update INSTALL.ide in order to ask for lablgtksourceviewGravatar pboutill2012-06-20
* CoqIdE configuration file won't pollute your home anymoreGravatar pboutill2011-11-20
* Discontinue support for ocaml 3.09.*Gravatar letouzey2010-05-19
* Changement de la version minimale requise de OCaml (3.07 => 3.09.3).Gravatar notin2009-11-05
* update gtk requirementsGravatar jnarboux2008-05-28
* add install instruction for mandrivaGravatar jnarboux2008-05-27
* Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous CoqideGravatar notin2008-01-07
* Mise à jour des notes d'installation pour CoqideGravatar notin2007-10-10
* Update installation instructions to the modern world a bit.Gravatar lmamane2007-01-18
* Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)Gravatar notin2006-09-01
* conseille l'utilisation de la release officielle 2.2.0 de lablgtkGravatar letouzey2003-11-12
* typo (Benjamin, voyons ;)Gravatar letouzey2003-09-22
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* Petite erreur dans le script d'install.Gravatar corbinea2003-07-08
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* configure et make install s'occupent de CoqIde tout seulsGravatar filliatr2003-05-19
* CoqIde: AccelMap supportGravatar monate2003-05-12
* coqide: search forwardGravatar monate2003-04-28
* new utf8.vGravatar monate2003-04-25
* *** empty log message ***Gravatar monate2003-04-24
* coqide: thread bug fixGravatar monate2003-04-10
* coqide: maj preferences du wizzardGravatar monate2003-03-14
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05