ocaml/otherlibs/systhreads
Damien Doligez 9ea5edac9a merge changes 3.10.0 -> 3.10.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-11 16:13:18 +00:00
..
Tests MAJ Makefile Windows 2006-09-21 10:01:24 +00:00
.cvsignore ajout so_locations dans .cvsignore 2001-10-11 12:04:40 +00:00
.depend probleme avec les .depend 2007-10-08 12:30:31 +00:00
Makefile Do not build threads.cmxs: on some systems, it is needed to link the system thread library statically. 2007-11-12 17:19:48 +00:00
Makefile.nt Merge the natdynlink branch into HEAD. 2007-11-06 15:16:56 +00:00
condition.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
condition.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
dllthreads.dlib Add many .mllib .mlpack .clib .dlib files 2007-02-07 09:52:28 +00:00
event.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
event.mli event is a covariant type 2006-01-12 03:24:56 +00:00
libthreads.clib Add many .mllib .mlpack .clib .dlib files 2007-02-07 09:52:28 +00:00
libthreadswin32.clib Add many .mllib .mlpack .clib .dlib files 2007-02-07 09:52:28 +00:00
mutex.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
mutex.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
posix.c merge changes 3.10.0 -> 3.10.1 2008-01-11 16:13:18 +00:00
thread.mli merge changes 3.10.0 -> 3.10.1 2008-01-11 16:13:18 +00:00
threadUnix.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
threadUnix.mli MAJ doc 2002-06-26 09:48:00 +00:00
thread_posix.ml Ajout de Thread.sigmask. 2005-07-31 12:32:41 +00:00
thread_win32.ml Ajout de Thread.sigmask. 2005-07-31 12:32:41 +00:00
threads.mllib Add many .mllib .mlpack .clib .dlib files 2007-02-07 09:52:28 +00:00
win32.c PR#4351: try to avoid rescheduling in mutex and condvar operations 2007-10-31 09:12:29 +00:00