coq - The formal proof system

Age	Commit message (Expand)	Author
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-06-15	[spawn] don't create a control socket on Unix (Fix #7713)	Enrico Tassi
2018-05-24	Fix #5983 (many frequent AppVeyor failures) by increasing spawn timeout.	Théo Zimmermann
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
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-02	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-05-08	Removing dead code and unused opens.	Pierre-Marie Pédrot
2016-03-09	Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)	Enrico Tassi
2016-01-20	Update copyright headers.	Maxime Dénès
2015-12-17	spawn: fix leak of file descriptors	Enrico Tassi
2015-10-08	Spawn: use each socket exclusively for writing or reading	Enrico Tassi
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
2014-12-17	Spawn: fix request of Gc statistics	Enrico Tassi
2014-04-09	Removing handshake from Spawn. It used marshalling, which is bad for	Pierre-Marie Pédrot
2014-01-30	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey
2014-01-26	Spawn: managed processes	Enrico Tassi