coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
	We also remove trailing whitespace. Script used: ```bash for i in `find . -name '.ml' -or -name '.mli' -or -name '.mlg'`; do expand -i "$i" \| sponge "$i"; sed -e's/[[:space:]]$//' -i.bak "$i"; done ```
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann

2019-05-23	Fixing typos - Part 2	JPR

2018-06-15	[spawn] don't create a control socket on Unix (Fix #7713)	Enrico Tassi

2018-02-27	Update headers following #6543.	Théo Zimmermann

2017-11-01	Fix FIXME: use OCaml 4.02 generative functors when available.	Gaëtan Gilbert
	4.02.3 has been the minimal OCaml version for a while now.
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot

2016-01-20	Update copyright headers.	Maxime Dénès

2015-01-12	Update headers.	Maxime Dénès

2014-12-25	Inlining Spawn.kill_if in the one place were it was actually used, thus	Pierre-Marie Pédrot
	removing the need of thread creation in the interface.
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.