coq - The formal proof system

Age	Commit message (Expand)	Author
2010-05-28	Use existing functions to reimplement search_exe.	fkirchne
2010-04-29	Various minor improvements of comments in mli for ocamldoc	letouzey
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
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-01-18	Backporting from v8.2 to trunk:	herbelin
2008-12-24	- coq_makefile: target install now respects the original tree structure	herbelin
2008-06-30	Fichiers oubliés lors du 11188 :-(	herbelin
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	Ajout d'un processus de communication entre Coq et un outil externe	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2001-08-10	Parsing	herbelin
2001-05-07	quelques bug reports mineurs	barras
2001-03-15	entetes	filliatr
2001-02-26	export open_trapping_failure pour contrib/extraction	filliatr
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
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-08	nouveau load path	filliatr
2000-09-10	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path	herbelin
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-28	ajout de divers fonctions dans lib/	filliatr
1999-09-18	module Library	filliatr
1999-09-10	modules System, Lib et States	filliatr
1999-09-08	time stamps dans System	filliatr