]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/netstring_mt.mli
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / netstring / netstring_mt.mli
1 (* $Id$
2  * ----------------------------------------------------------------------
3  *
4  *)
5
6 (* This module initializes the multi-threading mode of 
7  * Netstring. You must link it with every application that
8  * uses multi-threading.
9  * PITFALL: Link this module _directly_ with the executable,
10  * _don't_ put this module into a cma archive! This would not work!
11  *)
12
13
14 (* ======================================================================
15  * History:
16  * 
17  * $Log$
18  * Revision 1.1  2000/11/17 09:57:28  lpadovan
19  * Initial revision
20  *
21  * Revision 1.1  2000/06/25 21:15:27  gerd
22  *      Initial revision
23  *
24  * 
25  *)