coq - The formal proof system

Age	Commit message (Expand)	Author
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-09-15	Débogage: ajout affichage contraintes d'unification	herbelin
2006-09-05	Workaround Map.fold semantic change in ocaml-3.08.4 and higher.	msozeau
2006-04-28	Standardisation du nom des méthodes de Evd	herbelin
2006-04-07	- Documentation of the Program tactics.	msozeau
2005-12-05	changement d'egalite pour le named_context_val	gregoire
2005-12-02	Changement des named_context	gregoire
2005-06-07	pas de filtrages partiels	barras
2005-06-07	reparations de quelques petits bugs d\'unification + introduction de la notio...	barras
2005-06-06	essai de typage des instantiations d\'evars	barras
2005-06-05	eradication de Evarutil.w_Define	barras
2005-03-08	Ajout fold	herbelin
2004-12-08	Bug nom exception	herbelin
2004-11-16	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot
2004-10-20	COMMITED BYTECODE COMPILER	barras
2004-09-23	error if binder was already defined	barras
2004-09-17	restructuration des printers: proofs passe avant parsing	barras
2004-09-15	hiding the meta_map in evar_defs	barras
2004-09-12	inclusion de meta_map dans evar_defs	barras
2004-09-03	premiere reorganisation de l\'unification	barras
2004-07-16	Nouvelle en-tête	herbelin
2004-06-30	updated printing of evar context (may loop ?)	corbinea
2003-09-06	Paramétrisation vis à vis de existential_key	herbelin
2001-11-06	Suppression des local_constraints, des ctxtty et du focus.	clrenard
2001-11-05	GROS COMMIT:	barras