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 JAA12582 for caml-red; Thu, 28 Sep 2000 09:19:06 +0200 (MET DST)
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 VAA31423 for <caml-list@pauillac.inria.fr>; Wed, 27 Sep 2000 21:18:41 +0200 (MET DST)
Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8RJIfr04392
	for <caml-list@pauillac.inria.fr>; Wed, 27 Sep 2000 21:18:41 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id VAA14207 for <caml-list@margaux.inria.fr>; Wed, 27 Sep 2000 21:18:40 +0200 (MET DST)
Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8RJIdr04388;
	Wed, 27 Sep 2000 21:18:39 +0200 (MET DST)
Received: from localhost (localhost [127.0.0.1])
	by saul.cis.upenn.edu (8.10.1/8.10.1) with SMTP id e8RJIb025216;
	Wed, 27 Sep 2000 15:18:37 -0400 (EDT)
To: Damien Doligez <doligez@beaune.inria.fr>
cc: caml-list@margaux.inria.fr
Reply-to: bcpierce@cis.upenn.edu
Subject: Re: MacOS X et Caml 
In-reply-to: Your message of Wed, 27 Sep 2000 10:55:41 +0200.
             <200009270855.KAA0000032336@beaune.inria.fr> 
Date: Wed, 27 Sep 2000 15:18:37 EDT
Message-ID: <25214.970082317@saul.cis.upenn.edu>
From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
Sender: weis@pauillac.inria.fr

> And there are rumors of X servers for MacOS X.

For example, Slashdot just carried an announcement of one from Tenon
(www.tenon.com).  It does not support GTK yet, though.

      B