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
*	CLEANUP: removing a function that duplicates its counterpart already present ...	Matej Kosik	2016-08-30
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Coqide: use labels for all labelled functions	letouzey	2012-12-08
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Fix coqide compilation with lablgtk 2.16	pboutill	2012-09-04
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	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
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	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
*	Remove unused mli files	letouzey	2009-03-27
*	Cleanup: remove 3 unused files in ide/	letouzey	2009-03-11
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Fix a bug which sometimes made coqide crash after changing	glondu	2007-04-16
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	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
*	Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...	herbelin	2004-04-30
*	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: compact delete event-search start	monate	2003-03-24
*	coqide: maj preferences du wizzard	monate	2003-03-14
*	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