aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/command_windows.ml
Commit message (Expand)AuthorAge
* Separated the toplevel interface into a purely declarative module with associ...Gravatar ppedrot2011-11-25
* Ide_intf: slight reorganisation of the IDE apiGravatar letouzey2011-09-05
* Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...Gravatar pboutill2011-07-27
* Fix 2516: Utf8 font in Coqide Command panelGravatar pboutill2011-06-17
* Coqlib: avoid deadlock under win32 with force_reset_initialGravatar letouzey2011-04-21
* Ide_intf : change type of location in ideGravatar letouzey2011-03-25
* Ide: stronger separation from coqtopGravatar letouzey2011-03-23
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Robustness fix : clean restart of coqtop on pipe error + force matchingGravatar vgross2010-07-05
* Fixing tabs closing problems by removing activation infrastructure.Gravatar vgross2010-07-02
* CoqIDE goes multiprocessGravatar vgross2010-05-31
* deporting Coq specific code from ide to toplevel.Gravatar vgross2010-05-31
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Changing types to reflect futur separation between toplevel and ide.Gravatar vgross2010-03-23
* 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 2024-07-01 10:02:48 +0000