From ea17a2a371d0d791f439e0a4c6610819ecb6f9b6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
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