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 QAA29567 for caml-redistribution; Tue, 28 Nov 1995 16:17:31 +0100 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 KAA24365 for ; Tue, 28 Nov 1995 10:51:23 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id KAA19602 for ; Tue, 28 Nov 1995 10:51:23 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id KAA02091 for ; Tue, 28 Nov 1995 10:51:18 +0100 Received: from animal.cs.chalmers.se (root@animal.cs.chalmers.se [129.16.225.30]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id KAA19595 for ; Tue, 28 Nov 1995 10:51:16 +0100 (MET) Received: from lips.cs.chalmers.se (raffalli@lips-be0.cs.chalmers.se [129.16.233.25]) by animal.cs.chalmers.se (8.7.2/8.7.1) with ESMTP id KAA19640; Tue, 28 Nov 1995 10:51:06 +0100 (MET) Received: (from raffalli@localhost) by lips.cs.chalmers.se (8.7.1/8.7.1) id KAA06749; Tue, 28 Nov 1995 10:51:26 +0100 (MET) Date: Tue, 28 Nov 1995 10:51:26 +0100 (MET) Message-Id: <199511280951.KAA06749@lips.cs.chalmers.se> From: Christophe Raffalli To: dlb@severn.wash.inmet.com CC: caml-list@margaux.inria.fr In-reply-to: <9511271429.AA14220@severn.wash.inmet.com> (dlb@severn.wash.inmet.com) Subject: Re: Caml-Light with TK on the Macintosh MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Sender: weis THe problem is to port tcl and tk to the Mac ! as far as I know, tcl has been ported (it is used by the alpha editor) but not tk. porting tk would be a rather difficult job i think .... If I am wrong could someone tell me ... You could also try to use camlwin, which is not yet ported to Mac but should be much easier to port ... ---- Christophe Raffalli Dept. of Computer Sciences Chalmers University of Technology URL: http://www.logique.jussieu.fr/www.raffalli