aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2003-05-12coqide: all can focusmonate
2003-05-12CoqIde: AccelMap supportmonate
2003-05-07coqide: missing filesmonate
2003-05-07coqide: GtkData depmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-29coqide: search forw+backmonate
2003-04-28coqide: search forwardmonate
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
2003-04-25utf8.vmonate
2003-04-25new utf8.vmonate
2003-04-24*** empty log message ***monate
2003-04-24coqide : line number modemonate
2003-04-24*** empty log message ***monate
2003-04-22Coqide : bug undomonate
2003-04-22coqide : progressbarmonate
2003-04-16oubliletouzey
2003-04-10coqide: undo fixmonate
2003-04-10*** empty log message ***monate
2003-04-10*** empty log message ***monate
2003-04-10coqide: bug highlight corrigemonate
2003-04-10coqide: completion supportmonate
2003-04-10set_focusmarche
2003-04-10coqide: thread bug fixmonate
2003-04-09Coqide : introduction des coprocessus. CoqIde est maintenant interruptiblemonate
2003-03-28coqide: command window maj.monate
2003-03-28coqide: bug undo corrigemonate
2003-03-27coqide: bugfix du C-C pendant Undo+paren_highlightmonate
2003-03-27coqide: efficacite des buts etc...monate
2003-03-26coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...monate
2003-03-26coqide: addloadpath corrigemonate
2003-03-24coqide: compact delete event-search startmonate
2003-03-24pour faire marcher le control-kletouzey
2003-03-15petit oubliletouzey
2003-03-14coqide: maj preferences du wizzardmonate
2003-03-14coqide: utf8.vmonate
2003-03-14notations coqidemonate
2003-03-14*** empty log message ***monate
2003-03-14coqide: maj commandesmonate
2003-03-12coqide: .coqidepref en bin. Preferences en plusmonate
2003-03-10coqide: maj des bindingsmonate
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-06coqide: le undomonate
2003-03-05coqide: ouvrir une seule fois un fichiermonate
2003-03-05IDE: menu templatesfilliatr
2003-03-05CoqIde: Install.ide Revert bugfix.monate
2003-03-04coqide: bugfixmonate
2003-03-04belle image de coq (en png en plus)marche
2003-03-04coqide: partage -debug avec coqtopmonate
2003-03-04IDE: majmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 19:34:13 +0000