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 QAA28781 for caml-redistribution; Mon, 26 Aug 1996 16:13:04 +0200 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 JAA27159 for ; Tue, 6 Aug 1996 09:36:13 +0200 Received: from kurims.kurims.kyoto-u.ac.jp ([130.54.16.1]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id JAA21287 for ; Tue, 6 Aug 1996 09:36:11 +0200 (MET DST) Received: from cinnamon.kurims.kyoto-u.ac.jp (cinnamon.kurims.kyoto-u.ac.jp [130.54.16.38]) by kurims.kurims.kyoto-u.ac.jp (8.7.5/3.4W2) with SMTP id QAA04558; Tue, 6 Aug 1996 16:35:58 +0900 (JST) From: Jacques GARRIGUE Date: Tue, 6 Aug 96 16:35:58 JST Message-Id: <9608060735.AA04091@cinnamon> To: caml-list@pauillac.inria.fr, Francois.Rouaix@inria.fr Subject: O'CamlBrowser Sender: weis I produced a small patch allowing one to use LablBrowser, originally written for O'Labl, with Objective Caml. The functions are similar to those of caml-light's CamlBrowser, with very good navigation functions to search through the library and one's source. The only default is that you need O'Labl to compile it (but not to run it). If anybody wants to distribute compiled versions, do it freely (knowing the speed of the connection to Japan, this would have very little meaning to do it here). See http://wwwfun.kurims.kyoto-u.ac.jp/soft/ and ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/ocamlbrowser.tar.gz Comments and improvement suggestions welcome. Jacques Garrigue --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp JG