summaryrefslogtreecommitdiffstats
path: root/otherlibs
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2001-12-28 23:14:14 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2001-12-28 23:14:14 +0000
commit69ccd1bdbf3c9a1b16682ba3f7b941073f4442a6 (patch)
tree57ef851b8fb21628a64bacc847628994878b895c /otherlibs
parenta1f70bfb1d3c294d345c15796bab5524cb41c8de (diff)
Changements niveaux de titre dans les commentaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r--otherlibs/threads/thread.mli6
-rw-r--r--otherlibs/threads/threadUnix.mli14
2 files changed, 10 insertions, 10 deletions
diff --git a/otherlibs/threads/thread.mli b/otherlibs/threads/thread.mli
index 5306091e7..17a6260b3 100644
--- a/otherlibs/threads/thread.mli
+++ b/otherlibs/threads/thread.mli
@@ -19,7 +19,7 @@ type t
(** The type of thread handles. *)
-(** {2 Thread creation and termination} *)
+(** {6 Thread creation and termination} *)
val create : ('a -> 'b) -> 'a -> t
(** [Thread.create funct arg] creates a new thread of control,
@@ -49,7 +49,7 @@ val kill : t -> unit
(** Terminate prematurely the thread whose handle is given.
This functionality is available only with bytecode-level threads. *)
-(** {2 Suspending threads} *)
+(** {6 Suspending threads} *)
val delay : float -> unit
(** [delay d] suspends the execution of the calling thread for
@@ -112,7 +112,7 @@ val yield : unit -> unit
(**/**)
-(** {2 Synchronization primitives}
+(** {6 Synchronization primitives}
The following primitives provide the basis for implementing
synchronization functions between threads. Their direct use is
diff --git a/otherlibs/threads/threadUnix.mli b/otherlibs/threads/threadUnix.mli
index c7f9f41fd..e0a4a82b7 100644
--- a/otherlibs/threads/threadUnix.mli
+++ b/otherlibs/threads/threadUnix.mli
@@ -21,7 +21,7 @@
(block the calling thread, if required, but do not block all threads
in the process). *)
-(** {2 Process handling} *)
+(** {6 Process handling} *)
val execv : string -> string array -> unit
val execve : string -> string array -> string array -> unit
@@ -30,12 +30,12 @@ val wait : unit -> int * Unix.process_status
val waitpid : Unix.wait_flag list -> int -> int * Unix.process_status
val system : string -> Unix.process_status
-(** {2 Basic input/output} *)
+(** {6 Basic input/output} *)
val read : Unix.file_descr -> string -> int -> int -> int
val write : Unix.file_descr -> string -> int -> int -> int
-(** {2 Input/output with timeout} *)
+(** {6 Input/output with timeout} *)
val timed_read : Unix.file_descr -> string -> int -> int -> float -> int
(** See {!ThreadUnix.timed_write}. *)
@@ -46,14 +46,14 @@ val timed_write : Unix.file_descr -> string -> int -> int -> float -> int
available for reading or ready for writing after [d] seconds.
The delay [d] is given in the fifth argument, in seconds. *)
-(** {2 Polling} *)
+(** {6 Polling} *)
val select :
Unix.file_descr list -> Unix.file_descr list -> Unix.file_descr list ->
float ->
Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
-(** {2 Pipes and redirections} *)
+(** {6 Pipes and redirections} *)
val pipe : unit -> Unix.file_descr * Unix.file_descr
val open_process_in : string -> in_channel
@@ -62,11 +62,11 @@ val open_process : string -> in_channel * out_channel
val open_process_full :
string -> string array -> in_channel * out_channel * in_channel
-(** {2 Time} *)
+(** {6 Time} *)
val sleep : int -> unit
-(** {2 Sockets} *)
+(** {6 Sockets} *)
val socket : Unix.socket_domain -> Unix.socket_type -> int -> Unix.file_descr
val socketpair :