coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵	Pierre Letouzey	2016-07-03
\| \| \| \| \| \|	module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Spawn: use each socket exclusively for writing or reading	Enrico Tassi	2015-10-08
\| \| \| \| \| \|	According to http://caml.inria.fr/mantis/view.php?id=5325 you can't use the same socket for both writing and reading. The result is lockups (may be fixed in 4.03).
*	Fixing bug #4055.	Pierre-Marie Pédrot	2015-03-12
\| \| \| \| \| \|	When lauching ideslave without configuring the communication channels, instead of raising an anomaly which is never caught by the main loop, we rather exit the process with a relevant error message.
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	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
\|
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
	files around. A bunch of files from lib/ that were only used in the STM were moved, as well as part of toplevel/ related to the STM.