coq - The formal proof system

Age	Commit message (Expand)	Author
2001-02-07	Probleme synchronisation roots / inputstate	herbelin
2001-02-07	Message d'erreur absolute_reference	herbelin
2001-02-05	Meilleur traitement des noms explicites dans la Nametab; Différentation du t...	herbelin
2000-12-20	Test pour empêcher 2 sections de même noms	herbelin
2000-12-05	Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...	herbelin
2000-11-29	Enregistrement des racines de la bibliothèque	herbelin
2000-11-26	Nettoyage	herbelin
2000-11-26	Prise en compte de noms absolus dans la nametab	herbelin
2000-11-24	Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametab	filliatr
2000-11-24	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr
2000-11-22	Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...	herbelin
2000-11-20	Nouvelle structure arborescente à la Nametab pour prendre en compte les noms...	herbelin
2000-08-21	Nametab.init - bug corrected	coq
1999-09-19	- un effort sur la doc (ocamlweb)	filliatr