From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EHcPQG018226 for ; Wed, 14 Mar 2012 18:38:25 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAJvWYE/V+6tl/2dsb2JhbABDti2BB4IKAQU6TwtGFCghiCG7JpAbYwSVVZApgmc X-IronPort-AV: E=Sophos;i="4.73,584,1325458800"; d="scan'208";a="136086620" Received: from eneide.happyleptic.org ([213.251.171.101]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 14 Mar 2012 18:38:22 +0100 Received: from extranet.securactive.org ([82.234.213.170] helo=ccellier.rd.securactive.lan) by eneide.happyleptic.org with esmtp (Exim 4.72) (envelope-from ) id 1S7sTg-00059g-0O for caml-list@inria.fr; Wed, 14 Mar 2012 18:59:12 +0100 Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.72) (envelope-from ) id 1S7s9Q-0002Rl-GN for caml-list@inria.fr; Wed, 14 Mar 2012 18:38:16 +0100 Date: Wed, 14 Mar 2012 18:38:16 +0100 From: rixed@happyleptic.org To: Caml List Message-ID: <20120314173816.GA14656@ccellier.rd.securactive.lan> References: <20120314064815.GA24020@yeeloong.happyleptic.org> <4F60D5B5.9050207@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4F60D5B5.9050207@gmail.com> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] Re: Parsing cmi file -[ Wed, Mar 14, 2012 at 01:30:29PM -0400, Hongbo Zhang ]---- > Another thought, I know there is a tool of hoogle for ocaml, but > it's online, is there some offline hoogle offline? Yes, ocamlbrowser (if you have support for Tk). IIRC you can search by type.