coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Retire le warning stat	mohring	2001-02-02
*	Ajout flush, divers	herbelin	2001-01-24
*	Protection contre l'échec de Unix.stat	herbelin	2001-01-24
*	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot	2000-11-29
*	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin	2000-11-29
*	Hack pour contourner CVS en local dans la recherche rcursive de load_path	herbelin	2000-11-28
*	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin	2000-11-28
*	Changed the semantics of AddRecPath.	sacerdot	2000-11-15
*	all_subdirs teste si son argument est un repertoire; sinon ne fait rien	filliatr	2000-11-09
*	nouveau load path	filliatr	2000-11-08
*	nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...	filliatr	2000-11-06
*	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path	herbelin	2000-09-10
*	bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...	filliatr	2000-06-21
*	modules et coqc	filliatr	1999-12-12
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	poursuite de Vernacentries	filliatr	1999-12-01
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24
*	module Library	filliatr	1999-09-18
*	modules System, Lib et States	filliatr	1999-09-10
*	time stamps dans System	filliatr	1999-09-08