coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	Removing dead code in CoqIDE.	Pierre-Marie Pédrot	2016-09-21
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Coqide: use labels for all labelled functions	letouzey	2012-12-08
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Fixed access to environment variables in CoqIDE. Up to now, those	ppedrot	2012-05-08
*	Fixed the CoqIDE preference width	ppedrot	2012-04-18
*	A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.	ppedrot	2012-03-28
*	Fix configuration box bug in recursive call	pboutill	2011-10-26
*	Icons in CoqIdE preference panel	pboutill	2011-10-25
*	Configuration window of CoqIdE looks more like other Gtk one.	pboutill	2011-10-25
*	Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...	pboutill	2011-07-27
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Change the customization of modifiers (bug #2210)	vgross	2010-02-15
*	Remove dubious call to Obj.magic (and dead code, by the way)	glondu	2009-11-13
*	Remove useless call to Obj.magic	glondu	2009-11-13
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	Fix a bug which sometimes made coqide crash after changing	glondu	2007-04-16
*	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin	2006-03-08
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...	herbelin	2004-04-13
*	ameliorations coqide	coq	2003-12-30
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
*	coqide: load/save file encoding support/	monate	2003-05-14
*	coqide: toolbar/autosave	monate	2003-05-07
*	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...	monate	2003-03-07
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
*	coqide: preferences support and optimizations	monate	2003-03-03