From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA16181 for caml-redistribution@pauillac.inria.fr; Tue, 22 Feb 2000 18:54:02 +0100 (MET) Resent-Message-Id: <200002221754.SAA16181@pauillac.inria.fr> 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 RAA08162 for ; Tue, 22 Feb 2000 17:25:10 +0100 (MET) Received: from muguet.saclay.cea.fr (muguet.saclay.cea.fr [132.166.192.6]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA16882 for ; Tue, 22 Feb 2000 17:25:09 +0100 (MET) Received: from tenchi.serma.cea.fr (tenchi.serma.cea.fr [132.166.151.180]) by muguet.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.1.D20+Y2K) with ESMTP id RAA05765 for ; Tue, 22 Feb 2000 17:24:08 +0100 (MET) Received: from cea.fr (IDENT:bengao@localhost [127.0.0.1]) by tenchi.serma.cea.fr (8.9.3/8.8.7) with ESMTP id RAA01012 for ; Tue, 22 Feb 2000 17:25:08 +0100 Sender: bengao@soleil.serma.cea.fr Message-ID: <38B2B864.3DEA7071@cea.fr> Date: Tue, 22 Feb 2000 17:25:08 +0100 From: Alain Bengaouer CEA - SYSCO Organization: CEA DRN DMT SYSCO X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.13 i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: GUI for Ocaml Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 22 Feb 2000 18:54:01 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Hi, As I understand, ocamltk is superseded by LablTk which is included in Ocaml3 distribution ? Will LablGTk be included as well ? Is it possible to guess a time schedule for Ocaml3 delivery ? Thanks -- --------------------------------------------------------------------- Alain Bengaouer DRN/DMT/SYSCO CEA Saclay, Bāt 460 Phone : 33 (0)1 69 08 84 53 91191 Gif-sur-Yvette Cedex, France Fax : 33 (0)1 69 08 96 96 mailto:Alain.Bengaouer@cea.fr ---------------------------------------------------------------------