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 QAA26010 for caml-redistribution; Tue, 18 Feb 1997 16:06:08 +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 PAA24630 for <caml-list@pauillac.inria.fr>; Tue, 18 Feb 1997 15:05:52 +0100 (MET)
Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id PAA22628 for <caml-list@inria.fr>; Tue, 18 Feb 1997 15:05:50 +0100 (MET)
Received: from lip.ens-lyon.fr (lip [140.77.11.11]) by cri.ens-lyon.fr (8.8.5/8.8.1) with ESMTP id PAA02649 for <caml-list@inria.fr>; Tue, 18 Feb 1997 15:05:49 +0100 (MET)
Received: from anjou.ens-lyon.fr (anjou [140.77.11.117]) by lip.ens-lyon.fr (8.8.5/8.8.0) with ESMTP id PAA08801 for <caml-list@inria.fr>; Tue, 18 Feb 1997 15:05:45 +0100 (MET)
Received: (from jcfillia@localhost) by anjou.ens-lyon.fr (8.8.5/8.8.0) id PAA08455 for caml-list@inria.fr; Tue, 18 Feb 1997 15:05:44 +0100 (MET)
Date: Tue, 18 Feb 1997 15:05:44 +0100 (MET)
Message-Id: <199702181405.PAA08455@anjou.ens-lyon.fr>
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@ens-lyon.fr>
To: caml-list@inria.fr
Subject: camltk browser for ocaml sources
Reply-to: Jean-Christophe.Filliatre@ens-lyon.fr (Jean-Christophe Filliatre)
Content-Type: text
Sender: weis


Hello,

There does not seem to have a browser for O'Caml sources with the
O'Caml release of CamlTk (like the one that exists for Caml
Light). Is there any hope to have such a browser with a future release
of CamlTk ? Or, has anyone written something similar ?

Is there any scheduled release of CamlTk for tcl7.6 / tk4.2 ?

Thank you.
--Jean-Christophe.