coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Discontinue support for ocaml 3.09.*	letouzey	2010-05-19
*	Changement de la version minimale requise de OCaml (3.07 => 3.09.3).	notin	2009-11-05
*	update gtk requirements	jnarboux	2008-05-28
*	add install instruction for mandriva	jnarboux	2008-05-27
*	Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqide	notin	2008-01-07
*	Mise à jour des notes d'installation pour Coqide	notin	2007-10-10
*	Update installation instructions to the modern world a bit.	lmamane	2007-01-18
*	Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)	notin	2006-09-01
*	conseille l'utilisation de la release officielle 2.2.0 de lablgtk	letouzey	2003-11-12
*	typo (Benjamin, voyons ;)	letouzey	2003-09-22
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	Petite erreur dans le script d'install.	corbinea	2003-07-08
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
*	configure et make install s'occupent de CoqIde tout seuls	filliatr	2003-05-19
*	CoqIde: AccelMap support	monate	2003-05-12
*	coqide: search forward	monate	2003-04-28
*	new utf8.v	monate	2003-04-25
*	* empty log message *	monate	2003-04-24
*	coqide: thread bug fix	monate	2003-04-10
*	coqide: maj preferences du wizzard	monate	2003-03-14
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05