coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	corrections mineures suite au commit de restructuration du noyau	barras	2001-11-06
*	GROS COMMIT:	barras	2001-11-05
*	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin	2001-10-17
*	Le fichier .vo etait ecrit dans un mauvais repertoire si ce dernier etait tro...	herbelin	2001-09-26
*	Ajout d'une option et d'une fonction compile pour fabriquer les .vo	herbelin	2001-09-18
*	nettoyage d'entrees de grammaires inutiles	courant	2001-04-09
*	entetes	filliatr	2001-03-15
*	Import module force l'ouverture du module même s'il était déjà ouvert afi...	herbelin	2000-12-20
*	Une capsule pour save_module_to dans Discharge	herbelin	2000-11-20
*	nouveau load path	filliatr	2000-11-08
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	Nettoyage de l'interface de Pfedit	herbelin	2000-05-04
*	bug make_strength repare	filliatr	1999-12-03
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	with_heavy_rollback deplace dans States	filliatr	1999-09-29
*	retablissement du toplevel	filliatr	1999-09-28