coq - The formal proof system

Age	Commit message (Expand)	Author
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2001-12-13	compat ocaml 3.03	filliatr
2001-11-12	Suites modifs du noyau. Univ devient purement fonctionnel.	barras
2001-11-05	GROS COMMIT:	barras
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
2001-09-09	Passage aux univers algébriques	herbelin
2001-08-10	Parsing	herbelin
2001-07-03	Ajout hashconsing univers	herbelin
2001-05-29	Facilites pour le debogguage des univers.	coq
2001-05-03	Changement de la structure des points fixes	barras
2001-03-28	amelioration de la structure des univers	barras
2001-03-15	entetes	filliatr
2000-11-28	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin
2000-10-06	Correction incompatibilites dans la fn des types des inductifs	herbelin
2000-10-06	correction bug univers (dummy_univ)	filliatr
1999-09-25	ensembles de contraintes d'univers	filliatr
1999-08-26	- abstraction	filliatr