From ea17a2a371d0d791f439e0a4c6610819ecb6f9b6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 22 Jan 2014 10:23:14 +0100 Subject: Spawn: managed processes 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. --- lib/lib.mllib | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/lib.mllib') diff --git a/lib/lib.mllib b/lib/lib.mllib index f641e68f0..be15eca60 100644 --- a/lib/lib.mllib +++ b/lib/lib.mllib @@ -8,6 +8,8 @@ Segmenttree Unicodetable Unicode System +Spawn +Spawned Trie Profile Explore -- cgit v1.2.3