coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	-help failing (fix 3762)	Enrico Tassi	2014-10-24
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	Adding a "time" tactical for benchmarking purposes. In case the tactic	Hugo Herbelin	2014-07-13
*	Revert "time tac" (committed by mistake).	Hugo Herbelin	2014-07-07
*	time tac	Hugo Herbelin	2014-07-07
*	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey	2014-01-30
*	.vi files: .vo files without proofs	Enrico Tassi	2014-01-04
*	Hardening the reading function of vo files.	Pierre-Marie Pédrot	2013-11-24
*	Partial application hunt.	ppedrot	2013-11-07
*	Removing some lone List.assoc & List.mem in lib.	ppedrot	2013-08-28
*	Change in vo format : digest aren't Marshalled anymore	letouzey	2013-08-22
*	Removing mandatory suffixes for library files.	ppedrot	2013-03-21
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)	herbelin	2013-02-01
*	Actually adding backtrace handling.	ppedrot	2013-01-28
*	Monomorphization (lib)	ppedrot	2012-11-22
*	More monomorphizations	ppedrot	2012-11-13
*	More accurate timings for "Time foo"	letouzey	2012-10-05
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Patch by Dan Grayson to ensure that "Add LoadPath ... as ..." closes	herbelin	2011-10-17
*	[/]+ is equivalent to [/] in System and its copy	pboutill	2011-09-01
*	Remove System.process_time (dead code)	glondu	2011-05-19
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Protection against anomaly when loading a state with bad magic number.	herbelin	2010-06-22
*	Account for Stephane Glondu's remarks.	fkirchne	2010-05-28
*	Use existing functions to reimplement search_exe.	fkirchne	2010-05-28
*	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