coq - The formal proof system

Age	Commit message (Expand)	Author
2001-09-20	On ignore les répertoires invisibles dans all_subdirs	herbelin
2001-08-10	Parsing	herbelin
2001-03-15	entetes	filliatr
2001-03-09	protection contre certaines exceptions levees par marshal_{in,out}	barras
2001-02-02	Retire le warning stat	mohring
2001-01-24	Ajout flush, divers	herbelin
2001-01-24	Protection contre l'échec de Unix.stat	herbelin
2000-11-29	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-28	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-15	Changed the semantics of AddRecPath.	sacerdot
2000-11-09	all_subdirs teste si son argument est un repertoire; sinon ne fait rien	filliatr
2000-11-08	nouveau load path	filliatr
2000-11-06	nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...	filliatr
2000-09-10	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path	herbelin
2000-06-21	bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...	filliatr
1999-12-12	modules et coqc	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
1999-12-01	poursuite de Vernacentries	filliatr
1999-11-24	Vernacinterp et Vernacentries (partiellement)	filliatr
1999-09-18	module Library	filliatr
1999-09-10	modules System, Lib et States	filliatr
1999-09-08	time stamps dans System	filliatr