coq - The formal proof system

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