coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| *	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
*	Fixed bad newlines in output for std output and emacs.	Pierre Courtieu	2014-12-18
*	Ensuring the good invariants of hashcons table generation in the API.	Pierre-Marie Pédrot	2014-12-17
*	Future: blocking by default	Enrico Tassi	2014-12-17
*	STM: rename and simplify flags	Enrico Tassi	2014-12-17
*	Spawn: fix request of Gc statistics	Enrico Tassi	2014-12-17
*	CThread: use a different type for thread friendly in_channels	Enrico Tassi	2014-12-17
*	Dyn: add API to check of two Dyn.t are ==	Enrico Tassi	2014-12-17
*	msg_info now puts infomsg tag in emacs mode.	Pierre Courtieu	2014-12-16
*	Proper thread-safe implementation for Exninfo.	Pierre-Marie Pédrot	2014-12-16
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Changed bullet informations to warning for better display in PG.	Pierre Courtieu	2014-12-15
*	Util.un_op -> Option.default	Pierre Boutillier	2014-12-14