index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
command_windows.ml
Commit message (
Expand
)
Author
Age
*
Fixed a synchronization bug between coqtop and the CoqIDE command pane.
ppedrot
2011-12-06
*
Separated the toplevel interface into a purely declarative module with associ...
ppedrot
2011-11-25
*
Ide_intf: slight reorganisation of the IDE api
letouzey
2011-09-05
*
Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...
pboutill
2011-07-27
*
Fix 2516: Utf8 font in Coqide Command panel
pboutill
2011-06-17
*
Coqlib: avoid deadlock under win32 with force_reset_initial
letouzey
2011-04-21
*
Ide_intf : change type of location in ide
letouzey
2011-03-25
*
Ide: stronger separation from coqtop
letouzey
2011-03-23
*
Fix function applications without labels (OCaml warning 6)
glondu
2010-09-28
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Robustness fix : clean restart of coqtop on pipe error + force matching
vgross
2010-07-05
*
Fixing tabs closing problems by removing activation infrastructure.
vgross
2010-07-02
*
CoqIDE goes multiprocess
vgross
2010-05-31
*
deporting Coq specific code from ide to toplevel.
vgross
2010-05-31
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Changing types to reflect futur separation between toplevel and ide.
vgross
2010-03-23
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
try to reduce the size of the queries pane
jnarboux
2008-06-03
*
replace the query window of coqide by a pane in main window as suggested by hugo
jnarboux
2008-05-28
*
Modifications diverses et variées :
herbelin
2008-03-30
*
Report de la révision #10197 (adaptation à Lablgtk 2.10.0)
notin
2007-10-18
*
Suppression des warnings à la compilation
notin
2006-09-29
*
Nouvelle en-tête
herbelin
2004-07-16
*
ide: silent behavior better, save icon, -byte works
marche
2004-03-03
*
ameliorations coqide
coq
2003-12-30
*
commandes de coqide
marche
2003-12-09
*
changement menu et toolbar
marche
2003-12-04
*
commands renomme en queries, command goto a la place de forward to backwardt o
marche
2003-11-28
*
Coqide : ported to lablgtk2 snapshot of 2003/07/07
monate
2003-07-07
*
*** empty log message ***
monate
2003-06-18
*
command_windows fix
monate
2003-05-20
*
coqide: toolbar/autosave
monate
2003-05-07
*
set_focus
marche
2003-04-10
*
coqide: command window maj.
monate
2003-03-28
*
coqide: maj commandes
monate
2003-03-14
*
coqide: fenetre de cmmandes . undo correct
monate
2003-03-06