From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA49YRZM021005 for ; Fri, 4 Nov 2011 10:34:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYFACOxs05ZELGagWdsb2JhbABDmk+OGYFCAQEWJiWBcgEBBAE6PwULC0ZXGYgCAga0fIhIYwSUHJFm X-IronPort-AV: E=Sophos;i="4.69,455,1315173600"; d="scan'208";a="128350248" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail1-smtp-roc.national.inria.fr with SMTP; 04 Nov 2011 10:34:22 +0100 Received: (qmail 12061 invoked by uid 634); 4 Nov 2011 09:34:21 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from host81-149-102-120.in-addr.btopenworld.com (HELO [192.168.0.215]) (81.149.102.120) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.83) with ESMTPA; Fri, 04 Nov 2011 09:34:21 +0000 Mime-Version: 1.0 (Apple Message framework v1251.1) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: <20111104092409.GA22221@ccellier.rd.securactive.lan> Date: Fri, 4 Nov 2011 09:34:22 +0000 Cc: caml-list@inria.fr Message-Id: <91E99300-3C48-46B5-9D17-1F6AB6DF40CB@recoil.org> References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> <3AFFA70C-BD82-4A7B-94E6-7FAB5BC93148@x9c.fr> <4EB2F67D.6070202@inria.fr> <20111104092409.GA22221@ccellier.rd.securactive.lan> To: rixed@happyleptic.org X-Mailer: Apple Mail (2.1251.1) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pA49YRZM021005 Subject: Re: [Caml-list] [ANN] Argot: 1.0 release On 4 Nov 2011, at 09:24, rixed@happyleptic.org wrote: > -[ Thu, Nov 03, 2011 at 09:15:57PM +0100, Fabrice Le Fessant ]---- >> Hi, >> >> By the way, Thomas is also working on a plugin for ocamldoc, with >> incremental search. An example of what it generates (for the stdlib and >> some of our internal libraries) is available here: >> >> http://www.ocamlpro.com/doc/stdlib/index_modules.html >> >> It is not yet released, but we plan to do it in the next months, with >> some other tools. > > This looks very promising. > Will the tool generate mere html files or is it intended for an ocaml > web framework such as ocsigen ? It's all pure HTML/CSS. The wonders of the Twitter Bootstrap framework :-) > Also, apparently one cannot search by type. It would be a nice feature > to have. Thomas also prototyped a searchable version for the CUFP Mirage tutorial: e.g.: http://www.ocamlpro.com/mirage/xen/ but the search view does need some optimisation with a large number of modules, as in the standard library. The new version he's doing in HTML is far slicker and faster. Citrix have a really useful JSON output to ocamldoc in the XAPI tree that is very handy for anyone else who wants to do something like this: https://github.com/xen-org/xen-api/blob/master/ocaml/doc/odoc_json.ml -anil