coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of lib/spawn.mli

October 2024

coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

June 2024

coqbot-app[bot]
Merge PR #19247: Fix coqide compilation with lablgtk 3.1.5 on windows
committed
Gaëtan Gilbert
Fix coqide compilation with lablgtk 3.1.5 on windows
committed

March 2020

Hugo Herbelin
Merge PR #11559: Remove year in headers.
committed
Théo Zimmermann
Update headers in the whole code base.
committed

November 2019

Gaëtan Gilbert
Merge PR #11010: [coq] Untabify the whole ML codebase.
committed
Emilio Jesus Gallego Arias
[coq] Untabify the whole ML codebase.
committed

June 2019

Clément Pit-Claudel
Merge PR #10320: Update headers to the new year.
committed
Théo Zimmermann
Update ml-style headers to new year.
committed

May 2019

Théo Zimmermann
Merge PR #10221: Fixing typos - Part 2 (reopening of #10218)
committed
JPR
Fixing typos - Part 2
committed

June 2018

Emilio Jesus Gallego Arias
Merge PR #7828: [Spawn] no control sock on unix
committed
Enrico Tassi
[spawn] don't create a control socket on Unix (Fix #7713)
committed

March 2018

Maxime Dénès
Merge PR #6855: Update headers following #6543.
committed

February 2018

Théo Zimmermann
Update headers following #6543.
committed

November 2017

Maxime Dénès
Merge PR #6051: Fix FIXME: use OCaml 4.02 generative functors when available.
committed
Gaëtan Gilbert
Fix FIXME: use OCaml 4.02 generative functors when available.
committed

July 2017

Pierre-Marie Pédrot
Bump year in headers.
committed

June 2017

Maxime Dénès
Merge PR#713: Bump year in headers.
committed
Maxime Dénès
Bump year in headers.
committed

April 2016

Pierre Courtieu
Merge remote-tracking branch 'OFFICIAL/trunk' into morefresh
committed

January 2016

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Maxime Dénès
Update copyright headers.
committed

January 2015

Maxime Dénès
Update headers.
committed

December 2014

Pierre-Marie Pédrot
Inlining Spawn.kill_if in the one place were it was actually used, thus removing the need of thread creation in the interface.
committed

January 2014

Enrico Tassi
Spawn: managed processes
committed