coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Fixing declarative mode in presence of high use of Change_evars nodes	herbelin	2009-05-20
*	fixed indentation of subgoals for Show Script	barras	2008-07-17
*	removed unwanted linebreaks in pretty printing	corbinea	2008-06-19
*	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin	2008-04-25
*	fixed script printing	corbinea	2008-01-17
*	Suppression des sauts de lignes superflus de Show Script (test-suite/output/T...	notin	2007-03-21
*	"suffices" implemented + syntax cleanup	corbinea	2007-01-28
*	decl mode: anonymous facts	corbinea	2007-01-25
*	Correction du bug #1315:	notin	2007-01-22
*	nouvelle indentation des scripts	barras	2006-12-12
*	affichage des ... dans les scripts	barras	2006-10-16
*	Suppression des lignes vides dans l'affichage des scripts	notin	2006-09-28
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin	2005-12-26
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Changement des named_context	gregoire	2005-12-02
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17