coq - The formal proof system

Age	Commit message (Collapse)	Author
2014-04-09	Removing handshake from Spawn. It used marshalling, which is bad for	Pierre-Marie Pédrot
	non-ML applications. Control channel can be also ignored.
2014-01-30	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey
	Moreover, cleanup of System.connect (used by the "external" tactic).
2014-01-26	Spawn: managed processes	Enrico Tassi
	The Spawn and Spawned modules factor the operation of spawning a process. Both synchronous and asynchronous channels are supported. Both threaded and glib like main loop models are supported. Still, not all combinations are truly tested not equipped with a decent API: only async + glib and sync + thread are, since these are the models we use for coqide<->coqtop and coqtop<->worker respectively.