From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr 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 pA3KG5W9021164 for ; Thu, 3 Nov 2011 21:16:05 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACABv2sk5KfVK2kGdsb2JhbABEhHmVUY4YgRkIIgEBAQEJCQ0HFAQhgXIBAQEEEgIPHQE3AgMMAQUFGAkWCwICCQMCAQIBIgEFARwTBgIBAR6HYgaXKwqLDYMnhUqJLQIFCogAgRUEjmyFLIUxgS2GWz2BSYIn X-IronPort-AV: E=Sophos;i="4.69,452,1315173600"; d="vcf'?scan'208";a="116740352" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Nov 2011 21:16:01 +0100 Received: by wyg36 with SMTP id 36so2982461wyg.27 for ; Thu, 03 Nov 2011 13:16:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:x-enigmail-version:content-type; bh=xYls/Ma1spzXKUlQXbujI7pZXWudJCITKWrgtBa3R5k=; b=x32L+7we2RbxnP70VFI/dfsmGznifG2oRt0J5vViT62t+rNm/gvAEeoNEQrUnHgJJd f7rqWCdu4SNxUrPzyOd6/L9XAuUdewjpHsa3kNfzUMIPTuMjZM1LjsIk7bXXLRv4Gr2l g3+pe8HYISqb6NsMDJg5z7Ku2yDgyFP/kdk3k= Received: by 10.216.180.132 with SMTP id j4mr137553wem.95.1320351360716; Thu, 03 Nov 2011 13:16:00 -0700 (PDT) Received: from [192.168.0.29] (gov91-4-83-152-214-51.fbx.proxad.net. [83.152.214.51]) by mx.google.com with ESMTPS id gg13sm12212940wbb.8.2011.11.03.13.15.58 (version=SSLv3 cipher=OTHER); Thu, 03 Nov 2011 13:15:59 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4EB2F67D.6070202@inria.fr> Date: Thu, 03 Nov 2011 21:15:57 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.23) Gecko/20110922 Lightning/1.0b2 Thunderbird/3.1.15 MIME-Version: 1.0 To: caml-list@inria.fr References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> <3AFFA70C-BD82-4A7B-94E6-7FAB5BC93148@x9c.fr> In-Reply-To: <3AFFA70C-BD82-4A7B-94E6-7FAB5BC93148@x9c.fr> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------080005060509010007040002" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] [ANN] Argot: 1.0 release This is a multi-part message in MIME format. --------------080005060509010007040002 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit 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. Regards, Fabrice On 11/03/2011 07:14 PM, forum@x9c.fr wrote: > > Le 3 nov. 2011 à 09:08, David MENTRE a écrit : > >> Hello, >> >> 2011/11/2 forum@x9c.fr : >>> Preview page (for search feature): http://argot.x9c.fr/distrib/argot-3.12-libref/index.html >> >> Would it be possible to have the search page in another tab? I find >> the opening of a new window annoying and if I middle click on the >> search icon the same page is opened again in the new tab. > > I really do not know how to do that, having a very basic knowledge of HTML/JavaScript. > I can't even tell if those have a notion of browser tab ; if they have the notion, it will be pretty > straightforward to add the option to Argot. Just need to look for the information. > > > Regards, > > Xavier > --------------080005060509010007040002 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;P2P & OCaml adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------080005060509010007040002--