coq - The formal proof system

Age	Commit message (Expand)	Author
2001-02-07	Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref	herbelin
2001-02-05	Restructuration de classops; évolution en une version mieux intégrée au re...	herbelin
2001-01-31	Bug lié au discharge	herbelin
2001-01-24	Prise en compte des noms longs dans les Hints et les Coercions, et réorganis...	herbelin
2001-01-18	Bug Identity Coercion	herbelin
2000-12-29	Ajout du Let pour le langage de tactiques	delahaye
2000-12-25	Un nom long pour les variables de section qui font classe ou coercion; réorg...	herbelin
2000-12-04	caractere opaque des constantes repris en compte	filliatr
2000-11-29	Suppression cast inutile	herbelin
2000-11-26	Remplacement de certains sp_of_id par des locate	herbelin
2000-11-23	Informations inutiles	herbelin
2000-11-20	Mieux à sa place dans toplevel	herbelin
2000-01-11	Ajout de Record	herbelin
2000-01-07	Déplacement non-affichage des coercions dans termast	herbelin
1999-12-15	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin
1999-12-09	- constantes avec recettes	filliatr
1999-12-08	deplacement de Discharge dans toplevel	filliatr
1999-12-05	premier debugage	filliatr
1999-12-03	- global_reference traite des variables	filliatr
1999-12-02	Version initiale	herbelin