coq - The formal proof system

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