coq - The formal proof system

Age	Commit message (Expand)	Author
2000-12-15	Mise en place d'un module Ident avec test de l'efficacité quand identifier=s...	herbelin
2000-12-05	Mini-nettoyage noms longs	herbelin
2000-11-29	Ajout d'un test pour vérifier qu'on a affaire à un ident	herbelin
2000-11-28	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin
2000-11-26	Prise en compte de noms absolus dans la nametab	herbelin
2000-11-23	Affichage des paths avec des '.', print_id -> pr_id, print_sp -> pr_sp	herbelin
2000-11-22	Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...	herbelin
2000-11-20	Introduction constant_path = section_path	herbelin
2000-11-07	Bug sur précédent commit	herbelin
2000-11-07	Nettoyage Names suite	herbelin
2000-11-06	Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...	herbelin
1999-12-03	bug make_strength repare	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	diverses fonctions ajoutees	filliatr
1999-09-19	- un effort sur la doc (ocamlweb)	filliatr
1999-09-10	modules System, Lib et States	filliatr
1999-09-09	les sections ne sont plus stockées à l'envers dans les section paths	filliatr
1999-08-18	module Reduction (debut)	filliatr
1999-08-17	generic, term et evd	filliatr
1999-08-16	Initial revision	filliatr