coq - The formal proof system

Age	Commit message (Expand)	Author
2002-10-17	Moins de restriction sur le commit 1.5	herbelin
2002-10-13	Moins de restriction sur le commit précédent	herbelin
2002-10-12	Restriction sur la forme des Syntactic Definition et re-localisation en fonct...	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2001-12-13	compat ocaml 3.03	filliatr
2001-11-05	GROS COMMIT:	barras
2001-08-10	Parsing	herbelin
2001-03-15	entetes	filliatr
2000-11-26	Prise en compte de noms absolus dans la nametab	herbelin
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	Cablage des syntactif defs avec la Nametab des objets	herbelin
2000-11-15	methode export	filliatr
2000-11-10	Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...	herbelin
2000-03-16	Syntactic Definition n'etaient pas correctemenet importees	filliatr
1999-12-05	changement type add_anonymous_leaf	filliatr
1999-12-02	modifs pour premiere edition de liens	filliatr