aboutsummaryrefslogtreecommitdiff
path: root/ide/command_windows.ml
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-06-03try to reduce the size of the queries panejnarboux
2008-05-28replace the query window of coqide by a pane in main window as suggested by hugojnarboux
2008-03-30Modifications diverses et variées :herbelin
2007-10-18Report de la révision #10197 (adaptation à Lablgtk 2.10.0)notin
2006-09-29Suppression des warnings à la compilationnotin
2004-07-16Nouvelle en-têteherbelin
2004-03-03ide: silent behavior better, save icon, -byte worksmarche
2003-12-30ameliorations coqidecoq
2003-12-09commandes de coqidemarche
2003-12-04changement menu et toolbarmarche
2003-11-28commands renomme en queries, command goto a la place de forward to backwardt omarche
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-06-18*** empty log message ***monate
2003-05-20command_windows fixmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-10set_focusmarche
2003-03-28coqide: command window maj.monate
2003-03-14coqide: maj commandesmonate
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 14:35:03 +0000