aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.ide
Commit message (Expand)AuthorAge
* 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