coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-01
\|\
\| *	Flag -test-mode intended to be used for ad-hoc prints in test-suite	Enrico Tassi	2015-05-29
\| *	Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.	Hugo Herbelin	2015-05-22
\| *	Changing the heuristic fixing bug #4241.	Pierre Courtieu	2015-05-21
\| *	Answering report #4241 (formatting of boxes not behaving regularly	Hugo Herbelin	2015-05-20
\| *	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin	2015-05-20
\| *	The Fail command does not catch uncaught exception anomalies anymore.	Pierre-Marie Pédrot	2015-05-18
\| *	On MacOS X, ensuring that files found in the file system have the	Hugo Herbelin	2015-05-15
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	The -list-tag options now prints the corresponding COQ_COLORS value.	Pierre-Marie Pédrot	2015-05-14
\| *	Adding an option -w to control Coq warning output.	Pierre-Marie Pédrot	2015-05-14
\| *	Disable precompilation for native_compute by default.	Guillaume Melquiond	2015-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Add a [Redirect] vernacular command	Clément Pit--Claudel	2015-05-04
\| *	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
\| *	Removing dead code in Pp.	Pierre-Marie Pédrot	2015-04-23
\| *	Pp: obsolete comment.	Arnaud Spiwack	2015-04-22
\| *	Do not use list concatenation when gluing streams together, just mark them as...	Guillaume Melquiond	2015-04-22
\| *	STM: print trace on "anomaly, no safe id attached"	Enrico Tassi	2015-04-21
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-23
\|\\|
\| *	Adding a primitive to dump the current association table of dynamic types.	Pierre-Marie Pédrot	2015-03-16
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-26
\|\\|
\| *	Fixing printing of ordinals.	Pierre-Marie Pédrot	2015-02-26
\| *	New function [Constr.equal_with] to compare terms up to variants of [kind_of_...	Arnaud Spiwack	2015-02-24
* \|	Merge branch 'v8.5' into trunk	Enrico Tassi	2015-02-23
\|\\|
\| *	Fix some typos in comments.	Guillaume Melquiond	2015-02-23
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-23
\|\\|
\| *	Future: human readable name for delegated (Close #4065)	Enrico Tassi	2015-02-21
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
\| *	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
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-11
\|\\|
\| *	Adding a statistic function on hashconsing tables.	Pierre-Marie Pédrot	2015-02-11
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-10
\|\\|
\| *	Fixing bug #4009.	Pierre-Marie Pédrot	2015-02-07
\| *	More efficient Richpp.	Pierre-Marie Pédrot	2015-02-06
\| *	Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)	Enrico Tassi	2015-02-05
\| *	More efficient implementation of Richpp.	Pierre-Marie Pédrot	2015-02-04
\| *	CThread: workaround for threads lockup on windwos made more aggressive	Enrico Tassi	2015-02-04
\| *	Removing dead code.	Pierre-Marie Pédrot	2015-02-02
* \|	Equipping extended maps with fold operator defined for any monad.	Pierre-Marie Pédrot	2015-01-25
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Fix a few typos.	Maxime Dénès	2015-01-12
*	Extraction: no more ascii blob in type variables (fix #3227)	Pierre Letouzey	2015-01-11
*	Adding more sharing in Map.udpate and Map.modify.	Pierre-Marie Pédrot	2015-01-10
*	Safer version of the implementation of stores.	Pierre-Marie Pédrot	2015-01-06
*	remove unused iArray	Enrico Tassi	2015-01-06
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	Inlining Spawn.kill_if in the one place were it was actually used, thus	Pierre-Marie Pédrot	2014-12-25