From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 823147EEB4 for ; Mon, 4 Feb 2013 16:10:53 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.9; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.9; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.9 as permitted sender) identity=helo; client-ip=212.227.17.9; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcMAJ/OD1HU4xEJk2dsb2JhbABFj0OcS5MsFg4BAQEBBwsLCRQDJIJggVw0CYgMCJp6oFUViGKFMoMpA41wiUySMQ X-IPAS-Result: AlcMAJ/OD1HU4xEJk2dsb2JhbABFj0OcS5MsFg4BAQEBBwsLCRQDJIJggVw0CYgMCJp6oFUViGKFMoMpA41wiUySMQ X-IronPort-AV: E=Sophos;i="4.84,600,1355094000"; d="scan'208";a="1309345" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Feb 2013 16:10:53 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-220-076.pools.arcor-ip.net [94.219.220.76]) by mrelayeu.kundenserver.de (node=mreu3) with ESMTP (Nemesis) id 0LzleJ-1V5OUy3UyB-0154LD; Mon, 04 Feb 2013 16:10:51 +0100 Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 588A8C00D0 for ; Mon, 4 Feb 2013 16:10:51 +0100 (CET) Date: Mon, 04 Feb 2013 16:10:51 +0100 From: Gerd Stolpmann To: caml-list@inria.fr X-Mailer: Balsa 2.4.11 Message-Id: <1359990651.18230.0@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:kXDOdxMnCs5cphhH4JVZKuSgQMHJ4QZMSaChP1Kxapf EsLDjNOb2mIAOR49HbC1InlQyYryke6btRB++o+wKJikrCCfsW JWAj6Dg4qGGWmbq5PktUEM67p0LR/1dWTjD4clSd8OQHJ7VdsM yBAcMRsx1CpqkLWAgPD7wF/rTIBbL1+tTbXEr95CnUlU2lPiOZ NzDwvKWYB8KjvgGmxGeWesOZptfPt1QaGD2k8enDF0l7tzCZVJ +iL3VLkNf1BWMeiKdXOxxqfsju0EGIZPZPg1OkIStORvTTLzrO WAvVk56asTHo6xNnGk+JLPSIkP2FcwBrexkTQdiMYGRL5Gi9SP v0gW8w5OAH5ShlCkR2Xo= Subject: [Caml-list] Update on docs.camlcity.org Hi list, I've updated the code search engine on docs.camlcity.org. As before, it=20= =20 mainly bases on GODI packages, but it now also includes many OASIS=20=20 packages. The search engine allows to search for definitions and uses of=20=20 identifiers in OCaml source code. For example, "List.map" shows the=20=20 files with the definitions at the top position of the result list,=20=20 followed by the references of List.map. You can also search for type names, e.g. "in_channel". Type expressions=20= =20 are not yet supported (but I'm working on this). The search engines is especially useful when you want to read and=20=20 understand code you've not written yourself, and that uses libraries=20=20 you don't know yet. It's also good when you want to find sample code=20=20 that uses a certain function. Note that there is also a browsing mode. Also, the viewer for source=20=20 code allows it to click on identifiers triggering an ad-hoc search for=20= =20 other occurrences. Start page: docs.camlcity.org Query syntax: docs.camlcity.org/docs/syntax.html FAQ: docs.camlcity.org/docs/faq.html Technically, this update uses a dedicated full-text search engine for=20=20 the first time. It's my own development Amber (not yet publicly=20=20 released). The main advantage is the speed - searches take only a few=20=20 milliseconds now, but it also improves scoring (based on inverted term=20= =20 frequencies). More about Amber later. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=