From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 18A60BBCA for ; Thu, 8 May 2008 15:28:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhgCAPqcIkjAXQIniGdsb2JhbACBU5AwAQEBDyCZaQE X-IronPort-AV: E=Sophos;i="4.27,455,1204498800"; d="scan'208";a="11992064" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 May 2008 15:28:13 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m48DSCcl027918 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 May 2008 15:28:13 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AggBAPqcIkjU436rmmdsb2JhbACBU5AwAQEBAQEIBQgHEQOZZgE X-IronPort-AV: E=Sophos;i="4.27,455,1204498800"; d="scan'208";a="12382178" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 May 2008 15:28:12 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-084-059-119-244.pools.arcor-ip.net [84.59.119.244]) by mrelayeu.kundenserver.de (node=mrelayeu7) with ESMTP (Nemesis) id 0ML2xA-1Ju6AN1BYn-0005L4; Thu, 08 May 2008 15:28:11 +0200 Received: from [192.168.0.32] (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id ED510C074; Thu, 8 May 2008 15:28:10 +0200 (CEST) Subject: GODI Search: Includes now sources From: Gerd Stolpmann To: caml-list caml-list Cc: godi-list Content-Type: text/plain Date: Thu, 08 May 2008 15:29:23 +0200 Message-Id: <1210253363.3767.10.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX18GxqeqyCb8r4uXQgpHR4kID+5w4+SsPcHaJrk zJe4HWLb/sRC7UMj9Nk/e3HBQx85Jg7sIC6Q/3XYBywqeGToWn VrHhtrCrQsxN/rGGDU0Ome5BjApWpBv X-Miltered: at concorde with ID 4822FFEC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 camlimages:01 lib:01 ocaml:01 camlimages:01 mli:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 6151:01 6151:01 ajax:98 Hi list, I've just deployed another extension of GODI Search. The corpus now also includes the sources the GODI packages are built from, and not only the installed files ("binaries"). This is especially useful if the installed documentation is not complete enough, or to check the details of the implementation. The search is available at http://docs.camlcity.org. It is also possible to browse the sources. As a special feature, it is tried to aggregate binary and source modules into a single view. For example, here is the view on the installed Png modules of camlimages: http://docs.camlcity.org/docs/godipkg/3.10/godi-camlimages/lib/ocaml/pkg-lib/camlimages/png.mli Just click on the "Sources" tab to see possible source files this module could be built from (GODI Search doesn't track that, so we can only guess). Usually, the source files are now only two clicks away from the binary files. This release also includes numerous smaller fixes. Especially, the AJAX feature works now for older Internet Explorers (man, this was a fight). Hope you like it. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------