coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Diverses corrections	herbelin	2008-04-14
*	Factorisation des types dans l'affichage des paramètres des (Co)Inductif/Record	herbelin	2007-06-30
*	Multiples changements autour des implicites :	herbelin	2007-04-29
*	Allègement de l'affichage des références par le printer si possible	herbelin	2007-01-22
*	Ajout d'une option de débogage pour expliciter l'instance des evars	herbelin	2007-01-11
*	Variable print_instances pour dÃ©boguer les instances d'evar	herbelin	2006-12-12
*	Ajout de pr_sort, extern_sort, detype_sort et renommage pr_sort en pr_rawsort	herbelin	2006-05-19
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin	2005-01-02
*	Mecanisme d'affichage des types (notamment les conclusions des buts) typiquem...	herbelin	2004-12-22
*	Abstraction vis à vis du type loc pour compatibilité ocaml 3.08	herbelin	2004-07-16
*	Nouvelle en-tête	herbelin	2004-07-16
*	Debranchement de l'affichage systematique des projections avec la notation po...	herbelin	2003-10-16
*	Scope type pour le codomaine de Prod aussi; ajout extern_rawtype	herbelin	2003-09-12
*	Traducteur de correctness	herbelin	2003-08-14
*	Nouvelle mouture du traducteur v7->v8	herbelin	2003-08-11
*	Amélioration afficheur de Cases pour les constr_pattern	herbelin	2003-06-10
*	Mécanisme plus simple et efficace pour traduire les implicites	herbelin	2003-04-09
*	* empty log message *	barras	2003-03-12
*	Problèmes et améliorations divers affichage	herbelin	2002-12-09
*	Re-déplacement du résultat de Grammar au niveau constr_expr	herbelin	2002-12-02
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14