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-30	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey
2014-01-04	.vi files: .vo files without proofs	Enrico Tassi
2013-11-24	Hardening the reading function of vo files.	Pierre-Marie Pédrot
2013-11-07	Partial application hunt.	ppedrot
2013-08-28	Removing some lone List.assoc & List.mem in lib.	ppedrot
2013-08-22	Change in vo format : digest aren't Marshalled anymore	letouzey
2013-03-21	Removing mandatory suffixes for library files.	ppedrot
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey
2013-02-01	v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)	herbelin
2013-01-28	Actually adding backtrace handling.	ppedrot
2012-11-22	Monomorphization (lib)	ppedrot
2012-11-13	More monomorphizations	ppedrot
2012-10-05	More accurate timings for "Time foo"	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-18	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2012-06-01	Getting rid of Pp.msgnl and Pp.message.	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-03-02	Noise for nothing	pboutill
2011-11-20	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill
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