aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/command_windows.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* try to reduce the size of the queries paneGravatar jnarboux2008-06-03
* replace the query window of coqide by a pane in main window as suggested by hugoGravatar jnarboux2008-05-28
* Modifications diverses et variées :Gravatar herbelin2008-03-30
* Report de la révision #10197 (adaptation à Lablgtk 2.10.0)Gravatar notin2007-10-18
* Suppression des warnings à la compilationGravatar notin2006-09-29
* Nouvelle en-têteGravatar herbelin2004-07-16
* ide: silent behavior better, save icon, -byte worksGravatar marche2004-03-03
* ameliorations coqideGravatar coq2003-12-30
* commandes de coqideGravatar marche2003-12-09
* changement menu et toolbarGravatar marche2003-12-04
* commands renomme en queries, command goto a la place de forward to backwardt oGravatar marche2003-11-28
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* *** empty log message ***Gravatar monate2003-06-18
* command_windows fixGravatar monate2003-05-20
* coqide: toolbar/autosaveGravatar monate2003-05-07
* set_focusGravatar marche2003-04-10
* coqide: command window maj.Gravatar monate2003-03-28
* coqide: maj commandesGravatar monate2003-03-14
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-12 08:03:07 +0000