coq - The formal proof system

Age	Commit message (Expand)	Author
2014-08-05	STM: code restructured to reuse task queue for tactics	Enrico Tassi
2014-07-13	Adding a "time" tactical for benchmarking purposes. In case the tactic	Hugo Herbelin
2014-07-07	Revert "time tac" (committed by mistake).	Hugo Herbelin
2014-07-07	time tac	Hugo Herbelin
2014-01-04	.vi files: .vo files without proofs	Enrico Tassi
2013-08-22	Change in vo format : digest aren't Marshalled anymore	letouzey
2013-03-21	Removing mandatory suffixes for library files.	ppedrot
2013-02-01	v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)	herbelin
2012-08-08	Updating headers.	herbelin
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-05-19	Remove System.process_time (dead code)	glondu
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-22	New script dev/tools/change-header to automatically update Coq files headers.	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	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