aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.ide
AgeCommit message (Expand)Author
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-01-31 21:35:31 +0000