coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	nouvelle implantation de la reduction	barras	2001-03-01
*	uniformisation avec constr des lieurs dans rawterm/pattern	herbelin	2001-02-14
*	Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref	herbelin	2001-02-07
*	Prise en compte du let-in dans lookup_*_as_renamed	herbelin	2001-01-30
*	Bugs prise en compte du prédicat dans le Cases; le prédicat du Cases devien...	herbelin	2000-12-14
*	Utilisation de global_reference dans rawconstr; blindage pour quand appelé d...	herbelin	2000-11-20
*	suppression des (* open Generic *)	filliatr	2000-11-02
*	Renommage canonique :	herbelin	2000-10-18
*	Bug affichage du nom des letin	herbelin	2000-10-11
*	Renommage AppL en App	herbelin	2000-10-01
*	Abstraction de constr	herbelin	2000-09-14
*	Modification mkAppL; abstraction via kind_of_term; changement dans Reduction	herbelin	2000-09-12
*	Correction pour make doc	herbelin	2000-09-10
*	Suppression de Abst	herbelin	2000-09-10
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin	2000-07-24
*	Nettoyage de Generic	herbelin	2000-05-31
*	Modification messages d'erreurs, possibilité de n'importe quel constr dans l...	herbelin	2000-05-26
*	Suite restructuration inductifs; changement nom module Constant en Declarations	herbelin	2000-05-22
*	Effets de bords suite à la restructuration des inductives (cf Inductive)	herbelin	2000-05-18
*	Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'	herbelin	2000-05-02
*	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
*	Prise en compte nouveau case_info	herbelin	2000-03-21
*	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin	2000-01-26
*	Traduction constr->rawconstr (avant dans Termast	herbelin	2000-01-07