From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA01523 for caml-redistribution; Fri, 20 Feb 1998 11:07:30 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA26901 for <caml-list@pauillac.inria.fr>; Thu, 19 Feb 1998 17:44:42 +0100 (MET)
Received: from lri.lri.fr (root@lri.lri.fr [129.175.15.1])
	by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id RAA03807
	for <caml-list@inria.fr>; Thu, 19 Feb 1998 17:44:39 +0100 (MET)
Received: from pc84.lri.fr (loisel@pc84.lri.fr [129.175.8.104])
          by lri.lri.fr (8.8.5/jtpda-5.2) with ESMTP id RAA05787
          ; Thu, 19 Feb 1998 17:44:39 +0100 (MET)
Received: by pc84.lri.fr
	(8.8.5/feuille) id RAA09609
	; Thu, 19 Feb 1998 17:44:40 +0100
Date: Thu, 19 Feb 1998 17:44:40 +0100
Message-Id: <199802191644.RAA09609@pc84.lri.fr>
From: Patrick Loiseleur <Patrick.Loiseleur@lri.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
To: "Berruyer" <berruyer@meteor.aurecvideo.fr>
Cc: <caml-list@inria.fr>
Subject: Re: gestion du temps en Caml ?
In-Reply-To: <01bd3e84$1d6056a0$be7b33c2@berruyer.aurecvideo.fr>
References: <01bd3e84$1d6056a0$be7b33c2@berruyer.aurecvideo.fr>
X-Mailer: VM 6.34 under Emacs 19.34.1
Sender: weis

Il existe un outil, camlpro, qui vient avec caml-light 0.74 pour faire
exactement ce que vous désirez. Les détails sont dans la doc.

Cordialement

[English]
I think you can do what you want with the camlpro tool that comes with
the standard distribution