coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	unification encore...	barras	2004-09-08
*	prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech...	letouzey	2003-04-16
*	Ajout affichage fconstr	herbelin	2002-12-05
*	ajout d'un printer pour les global_reference	letouzey	2002-11-04
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	petits changements cosmetiques sur les tactiques	barras	2002-02-15
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	Ajout du printer de tactiques + modif du Dynamic ocaml	delahaye	2001-09-30
*	ajout d'un afficher de contexte et d'une fonction constbody_of_string	letouzey	2001-05-10
*	Restructuration printer et parser	herbelin	2000-01-07
*	Ajout pp pattern et rawterm	herbelin	1999-12-12
*	renommage pour eviter pbm avec ocamldep (syntax error)	filliatr	1999-12-03