coq - The formal proof system

Age	Commit message (Expand)	Author
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
2000-01-07	Restructuration printer et parser	herbelin
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-11	Intégration initiale du Cases	herbelin
1999-12-10	bug: enregistrement de vartab au lieu de csttab	filliatr
1999-12-10	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin
1999-12-09	Ajout des messages d'erreurs de Cases	herbelin
1999-12-06	Bug iterated_binder	herbelin
1999-12-05	mise au point lexer / debugage PP	filliatr
1999-12-03	bug make_strength repare	filliatr
1999-12-03	- global_reference traite des variables	filliatr
1999-12-02	modifs pour premiere edition de liens	filliatr
1999-12-01	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin
1999-12-01	mise au point Declare et avancee dans Astterm	filliatr
1999-12-01	- Typing -> Safe_typing	filliatr
1999-11-29	commentaires supprimmés	filliatr
1999-11-29	portage Astterm (partiellement)	filliatr
1999-11-26	Modification pour faire compiler pretyping.ml qui maintenant compile	herbelin
1999-11-24	Version initiale	herbelin