coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Débogage discharge des coercions; nettoyage	herbelin	2001-07-05
*	entetes	filliatr	2001-03-15
*	Ajout d'une commande pour afficher chaque coercion à la demandeparsing/g_bas...	herbelin	2001-02-06
*	Un nom long pour les variables de section qui font classe ou coercion; réorg...	herbelin	2000-12-25
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Utilisation de global_reference dans rawconstr	herbelin	2000-11-20
*	Changement de représentation du contexte des réf dans rawconstr et pattern	herbelin	2000-04-28
*	N'importe quel rawconstr maintenant dans le contexte d'une référence	herbelin	2000-04-26
*	Commentaire	herbelin	2000-03-07
*	erreurs latex dans interfaces	filliatr	2000-01-27
*	Déplacement non-affichage des coercions dans termast	herbelin	2000-01-07
*	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin	1999-12-15
*	Modifs suite à intégration de class.ml	herbelin	1999-12-02
*	affichage classes et coercions	filliatr	1999-12-02
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	- environment -> safe_environment	filliatr	1999-12-01
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	Versions initiales	herbelin	1999-11-24