coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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