coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.	Hugo Herbelin	2015-05-22
*	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin	2015-05-20
*	On MacOS X, ensuring that files found in the file system have the	Hugo Herbelin	2015-05-15
*	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
*	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
*	Update headers.	Maxime Dénès	2015-01-12
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	better to always print the thread id	Enrico Tassi	2014-11-27
*	-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