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 XAA13994 for caml-red; Mon, 4 Dec 2000 23:02:45 +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 OAA17991 for ; Mon, 4 Dec 2000 14:45:54 +0100 (MET) Received: from batman.labri.u-bordeaux.fr (batman.labri.u-bordeaux.fr [147.210.8.5]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eB4DjrL17211 for ; Mon, 4 Dec 2000 14:45:54 +0100 (MET) Received: from philemon.labri.u-bordeaux.fr (root@philemon [147.210.8.129]) by batman.labri.u-bordeaux.fr (8.8.7/8.8.7) with ESMTP id OAA28502 for ; Mon, 4 Dec 2000 14:48:54 +0100 (MET) Received: from labri.u-bordeaux.fr (IDENT:reveille@localhost.localdomain [127.0.0.1]) by philemon.labri.u-bordeaux.fr (8.9.3/8.8.8/Debian/GNU) with ESMTP id OAA13240 for ; Mon, 4 Dec 2000 14:45:51 +0100 Message-ID: <3A2BA00F.9A61A63@labri.u-bordeaux.fr> Date: Mon, 04 Dec 2000 14:45:51 +0100 From: Laurent Reveillere Organization: LaBRI, University of Bordeaux, FRANCE X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: sml/nj to ocaml Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr Hello, I would to know if anybody has a tool for automatically translate sml/nj code into ocaml code. Thanks -- Laurent