coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add occurence extra arg	msozeau	2008-01-30
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	killing some more non-exhaustive patterns	letouzey	2007-06-26
*	ajout de head0 et tail0 en natif	bgregoir	2007-06-20
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	Bug in replace tactics introduced in r9073 (overlap between replace .. with a...	jforest	2006-08-23
*	+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no	jforest	2006-08-22
*	Diverses corrections de l'afficheur et du traducteur pour s'assurer de	herbelin	2006-04-26
*	Standardisation du nom de subst_raw en subst_rawconstr	herbelin	2006-01-11
*	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
*	Ajout printer pr_lconstr aux extensions de syntaxe pour les arguments de tact...	herbelin	2005-12-21
*	Hugly temporary notation	sacerdot	2004-09-29
*	New: (temporary) concrete syntax to specify the morphism signature:	sacerdot	2004-09-24
*	Nouvelle en-tête	herbelin	2004-07-16
*	syntax compatibility fix	corbinea	2004-07-02
*	instantiate entry: constr -> lconstr	corbinea	2004-06-30
*	moved instantiate binding to extratactics	corbinea	2004-06-29
*	Code obsolete	herbelin	2003-11-08
*	Nouvelle mouture du traducteur v7->v8	herbelin	2003-08-11
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin	2002-06-05
*	Fichiers tactics/.ml4 remplacent les tactics/.v	herbelin	2002-05-29