From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id VAA19643 for caml-redistribution; Mon, 24 Jun 1996 21:36:37 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id SAA11857 for ; Mon, 24 Jun 1996 18:27:59 +0200 Received: from cadet.inria.fr (root@cadet.inria.fr [128.93.11.17]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id SAA22216 for ; Mon, 24 Jun 1996 18:27:57 +0200 (MET DST) Received: from cadet.inria.fr (rouaix@localhost.inria.fr [127.0.0.1]) by cadet.inria.fr (8.6.12/8.6.6) with ESMTP id SAA08686 for ; Mon, 24 Jun 1996 18:25:24 +0200 Message-Id: <199606241625.SAA08686@cadet.inria.fr> X-Mailer: exmh version 1.6.4 10/10/95 To: caml-list@pauillac.inria.fr Subject: Patch1 for Caml Light version of CamlTk4 Reply-To: Francois.Rouaix@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 24 Jun 1996 18:25:23 +0200 From: Francois Rouaix Sender: weis A bug affecting file descriptor callbacks and timers crept in in the recent release of the CamlTk interface for Caml Light (the Objective Caml version is not affected). A patch for camltk.c is now available by anonymous FTP ftp://ftp.inria.fr/INRIA/Projects/cristal/caml-light/camltk/cl-patch1 Une bogue affectant les callbacks sur descripteurs de fichiers et les timers s'est glissee dans la recente distribution de l'interface CamlTk pour Caml Light (la version pour Objective Caml n'est pas affectee). Un patch pour camltk.c est maintenant disponible par FTP anonyme ftp://ftp.inria.fr/INRIA/Projects/cristal/caml-light/camltk/cl-patch1 -- Francois.Rouaix@inria.fr Projet Cristal - INRIA Rocquencourt