coq - The formal proof system

Age	Commit message (Expand)	Author
2011-10-17	Patch by Dan Grayson to ensure that "Add LoadPath ... as ..." closes	herbelin
2011-09-01	[/]+ is equivalent to [/] in System and its copy	pboutill
2011-05-19	Remove System.process_time (dead code)	glondu
2011-04-21	Win32: remove the need for Coq.bat and Coqide.bat	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-22	Protection against anomaly when loading a state with bad magic number.	herbelin
2010-05-28	Account for Stephane Glondu's remarks.	fkirchne
2010-05-28	Use existing functions to reimplement search_exe.	fkirchne
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-11	Look for csdp in $PATH at runtime, remove -csdpdir configure option	glondu
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-07-08	Fixed anomaly when trying to load non existing file starting with "./" or "../".	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2008-12-24	- coq_makefile: target install now respects the original tree structure	herbelin
2008-11-22	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin
2008-06-30	Fichiers oubliés lors du 11188 :-(	herbelin
2008-01-11	implements a better way to respect the Unix convention that processes receive...	bertot
2007-08-28	Correction d'un bug dans check_and_warn	notin
2007-08-22	Ajout d'un warning losrqu'un nom de bibliothèque est ambigü	notin
2006-11-21	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin
2006-05-30	Correction bug #990 (LoadPath et option -R de coqide	notin
2005-11-23	bug de coqide sous windows (bad file descriptor)	barras
2005-05-19	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-02-04	Bug synchronisation fonction connect	herbelin
2005-02-04	Ajout d'un processus de communication entre Coq et un outil externe	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-05-08	un argument booleen inutilisé dans expand_macros	letouzey
2002-10-07	Lazy manuelles dans le code	coq
2002-10-05	Lazy experimentale temporaire...	coq
2002-09-18	retablissement de Correctness (pas encore teste' cependant)	filliatr
2002-09-16	Réintroduction de l'expansion des variables de shell et de '~' dans les	herbelin
2002-05-27	Changement Filename.is_relative en Filename.is_implicit, plus pertinent	herbelin
2002-01-10	Ajout flush	herbelin
2001-12-13	compat ocaml 3.03	filliatr
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