aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.ide
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 06:31:27 +0000