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 9163BBBC1 for ; Tue, 22 Apr 2008 00:29:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoAAM+xDEjU4368mWdsb2JhbACBUZACAQEBAQEIBQcJFpkFAQ X-IronPort-AV: E=Sophos;i="4.25,691,1199660400"; d="scan'208";a="11225278" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Apr 2008 00:29:07 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3LMT6E2019695 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 22 Apr 2008 00:29:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoAAM+xDEjU4368mWdsb2JhbACBUZACAQEBAQEIBQcJFpkFAQ X-IronPort-AV: E=Sophos;i="4.25,691,1199660400"; d="scan'208";a="11225277" Received: from moutng.kundenserver.de ([212.227.126.188]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Apr 2008 00:29:06 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-084-059-124-237.pools.arcor-ip.net [84.59.124.237]) by mrelayeu.kundenserver.de (node=mrelayeu4) with ESMTP (Nemesis) id 0ML21M-1Jo4VV3G4Y-0004Ki; Tue, 22 Apr 2008 00:29:05 +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 83824C074; Tue, 22 Apr 2008 00:29:05 +0200 (CEST) Subject: GODI Search From: Gerd Stolpmann To: caml-list caml-list Cc: godi-list Content-Type: text/plain Date: Tue, 22 Apr 2008 00:30:10 +0200 Message-Id: <1208817010.5160.34.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1/ac9Rabl5TR3fSNYxnvurb9gbLTxiQsNC6F3V ycikUXPPkPKmLV8H/fwROpAFKUI3LmTGFnpQmLuOQzZeYcG1qH X39l3cQkEFAyvDvJ+UV79iHEDGjieqH X-Miltered: at concorde with ID 480D1532.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 o'caml:01 hashtbl:01 o'caml:01 syntax:01 syntax:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 6151:01 6151:01 faq:01 Hi list, I've just released a new feature on docs.camlcity.org that is very interesting for GODI and non-GODI users of O'Caml. It is a search engine that allows you to search for identifiers and other words in an (almost) full-blown GODI installation. I've developed this engine for the last three weeks, and the results are already very interesting. Just try it out here: http://docs.camlcity.org You can search for definitions of functions like "Hashtbl.fold", other identifiers like "in_obj_channel", or just for "Xavier Leroy". The search engine has some O'Caml parsing capabilities, and can e.g. distinguish between value and type identifiers. For the query syntax see http://docs.camlcity.org/docs/syntax.html The syntax resembles Google's. The engine is not yet perfect. A number of errors are listed in the FAQ document: http://docs.camlcity.org/docs/faq.html I would be glad to hear of more shortcomings - so I can fix or at least document them soon. Feature wishes and other comments are also welcome. 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 ------------------------------------------------------------