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 MAA04371 for caml-red; Mon, 27 Nov 2000 12:18:13 +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 CAA11918 for ; Sun, 26 Nov 2000 02:01:18 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eAQ11Gv22966 for ; Sun, 26 Nov 2000 02:01:17 +0100 (MET) Received: from tet.kurims.kyoto-u.ac.jp (isdnppp2.kurims.kyoto-u.ac.jp [130.54.16.103]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id KAA25308; Sun, 26 Nov 2000 10:01:08 +0900 (JST) Received: from localhost (localhost [127.0.0.1]) by tet.kurims.kyoto-u.ac.jp (8.9.3/8.9.3) with ESMTP id JAA01127; Sun, 26 Nov 2000 09:59:46 +0900 (JST) (envelope-from garrigue@kurims.kyoto-u.ac.jp) To: krauth@infosun.fmi.uni-passau.de Cc: caml-list@inria.fr Subject: Re: labltk lib In-Reply-To: Your message of "Fri, 24 Nov 2000 14:21:49 +0100 (MET)" References: X-Mailer: Mew version 1.93 on Emacs 20.4 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20001126095945C.garrigue@kurims.kyoto-u.ac.jp> Date: Sun, 26 Nov 2000 09:59:45 +0900 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Sender: weis@pauillac.inria.fr From: Axel Krauth > just a small question on how to use the labltk-library : > > The manual says : > > This interface is generated in an automated way, and you should refer to > Tcl/Tk books and man pages for information on the behaviour of the > numerous functions. > > which is okay, but I have the problem that I don't know the > signatures and names of the corresponding ocaml functions. You should use ocamlbrowser. It allows you to see the contents of any module. ocamlbrowser -I CAMLLIB/labltk --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG