From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Fri, 2 Dec 94 09:56:46 +0100 Received: from concorde.inria.fr by pauillac.inria.fr; Fri, 2 Dec 94 08:03:06 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id IAA20035 for ; Fri, 2 Dec 1994 08:03:06 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.8/8.6.6) with ESMTP id IAA03061 for ; Fri, 2 Dec 1994 08:03:39 +0100 Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id IAA20031 for ; Fri, 2 Dec 1994 08:03:04 +0100 Received: from lip.ens-lyon.fr (lip-gw) by cri.ens-lyon.fr (5.0/SMI-SVR4) id AA08933; Fri, 2 Dec 1994 08:03:03 +0100 Received: from pineau.ens-lyon.fr by lip.ens-lyon.fr (4.1/SMI-4.1) id AA10106; Fri, 2 Dec 94 08:03:01 +0100 Date: Fri, 2 Dec 94 08:03:01 +0100 From: Jean-Christophe.Filliatre@lip.ens-lyon.fr (Jean-Christophe Filliatre) Message-Id: <9412020703.AA10106@lip.ens-lyon.fr> Received: by pineau.ens-lyon.fr (4.1/SMI-4.1) id AA05526; Fri, 2 Dec 94 08:03:16 +0100 To: caml-list@margaux.inria.fr Subject: Caml Light for Windows Sender: weis@pauillac.inria.fr Hello, I would like to known if there exists a version of Caml Light running under Windows, and if it's available by (anonymous) ftp. Thanks. -- Jean-Christophe FILLIATRE. jcfillia@lip.ens-lyon.fr