coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Facilites pour le debogguage des univers.	coq	2001-05-29
*	entetes	filliatr	2001-03-15
*	Déplacement de qualid dans Nametab, hors du noyau	herbelin	2001-03-01
*	Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref	herbelin	2001-02-07
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Nettoyage	herbelin	2000-11-24
*	Affichage des paths avec des '.'; print_id, print_sp -> pr_id, pr_sp;	herbelin	2000-11-23
*	Utilisation de global_reference dans rawconstr	herbelin	2000-11-20
*	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin	2000-07-24
*	Modification messages d'erreurs, possibilité de n'importe quel constr dans l...	herbelin	2000-05-26
*	Réparation bug d'affichage et affichage des instanciations par des {...}	herbelin	2000-05-23
*	Déplacement du type reference dans Term	herbelin	2000-04-28
*	Introduction d'un type constr_pattern pour les différents filtrages	herbelin	2000-04-26
*	Restructuration printer et parser	herbelin	2000-01-07
*	Poursuite intégration du Cases	herbelin	1999-12-13
*	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin	1999-12-10
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	module Extend	filliatr	1999-11-26
*	- documentation repertoire proofs/	filliatr	1999-10-20
*	organisation de trad (entre parsing/ et pretyping/)	filliatr	1999-10-13