coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updating headers.	herbelin	2012-08-08
*	Fixed string width printing in string_of_ppcmds	ppedrot	2012-06-26
*	Remove dead code	glondu	2010-12-03
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Correction bug #1842 + correction bug initialisation introduit dans	herbelin	2008-05-10
*	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea	2007-01-31
*	Nouvelle en-tête	herbelin	2004-07-16
*	Marge presqu'a 80, maximum indentation a 50 pour une meilleure lisibilite	herbelin	2003-10-16
*	Ajout de Set Print Width	gregoire	2003-03-26
*	* empty log message *	barras	2003-03-12
*	interface GTK2 experimentale	monate	2003-02-04
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	entetes	filliatr	2001-03-15
*	deep_gp pour l'écriture dans un fichier	filliatr	1999-10-01
*	Initial revision	filliatr	1999-08-16