coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Look for csdp in $PATH at runtime, remove -csdpdir configure option	glondu	2010-04-11
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fixed anomaly when trying to load non existing file starting with "./" or "../".	herbelin	2009-07-08
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin	2008-11-22
*	Fichiers oubliés lors du 11188 :-(	herbelin	2008-06-30
*	implements a better way to respect the Unix convention that processes receive...	bertot	2008-01-11
*	Correction d'un bug dans check_and_warn	notin	2007-08-28
*	Ajout d'un warning losrqu'un nom de bibliothèque est ambigü	notin	2007-08-22
*	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin	2006-11-21
*	Correction bug #990 (LoadPath et option -R de coqide	notin	2006-05-30
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Bug synchronisation fonction connect	herbelin	2005-02-04
*	Ajout d'un processus de communication entre Coq et un outil externe	herbelin	2005-02-04
*	Nouvelle en-tête	herbelin	2004-07-16
*	un argument booleen inutilisé dans expand_macros	letouzey	2004-05-08
*	Lazy manuelles dans le code	coq	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	Réintroduction de l'expansion des variables de shell et de '~' dans les	herbelin	2002-09-16
*	Changement Filename.is_relative en Filename.is_implicit, plus pertinent	herbelin	2002-05-27
*	Ajout flush	herbelin	2002-01-10
*	compat ocaml 3.03	filliatr	2001-12-13
*	On ignore les répertoires invisibles dans all_subdirs	herbelin	2001-09-20
*	Parsing	herbelin	2001-08-10
*	entetes	filliatr	2001-03-15
*	protection contre certaines exceptions levees par marshal_{in,out}	barras	2001-03-09
*	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