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 D53667EEB4 for ; Tue, 5 Feb 2013 19:19:20 +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.126.171; 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.126.171; 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.126.171 as permitted sender) identity=helo; client-ip=212.227.126.171; 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: AgQBAEFMEVHU436rjWdsb2JhbABFrHSSbRYOAQEBAQcLCwkSBSSCHwEBBTo0CxAjDSE8CRIGEwkJh20DEwiqRoZJA4lgFYheiGgDjXCJTpI0 X-IPAS-Result: AgQBAEFMEVHU436rjWdsb2JhbABFrHSSbRYOAQEBAQcLCwkSBSSCHwEBBTo0CxAjDSE8CRIGEwkJh20DEwiqRoZJA4lgFYheiGgDjXCJTpI0 X-IronPort-AV: E=Sophos;i="4.84,609,1355094000"; d="scan'208";a="1516452" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Feb 2013 19:19:20 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-215-123.pools.arcor-ip.net [94.219.215.123]) by mrelayeu.kundenserver.de (node=mrbap2) with ESMTP (Nemesis) id 0LeAyi-1Ujrh911mW-00qDdS; Tue, 05 Feb 2013 19:19:15 +0100 Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id C8215C00CF; Tue, 5 Feb 2013 19:19:14 +0100 (CET) Date: Tue, 05 Feb 2013 19:19:14 +0100 From: Gerd Stolpmann To: "D. LoBraico" Cc: Ivan Gotovchits , caml-list@inria.fr References: <1360058902.18230.3@samsung> <20130205171000.GC16341@naxos> In-Reply-To: <20130205171000.GC16341@naxos> (from d@lobraico.com on Tue Feb 5 18:10:00 2013) X-Mailer: Balsa 2.4.11 Message-Id: <1360088354.18230.5@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:WJ9wdMCdg5PUHMce2fhOWGER6oDBbAxsSKePnr7Q7WN UQyA+p/9pcQskruGm3jGkcb6h75Zo9/qg7O0bi+Pmp5ds3Taqv /AEBmPfLjntruNJq5GCsPnueA19DvtrgcX+meRgkRQSvSPPU7l CZ1LQTg4Nggfmu4dOSNaVxNd3jVh/j3tzRinymN6EY4wP3l02l 9vM37kCaT3o2+WSjA6K16aJpCibrxZ3yWaMV5b/asmYJvHS+eU rMTa/UAoZF3OQjlKq4CqOkYUkgWPryYwI3gFlLFhGXH1lTXP9B LX3I6f61+5MHCzUW8QrLQ7OYpTFYjcFTs+dz9ZCIr7KgHDxpIi /QdCCNT7VKdMvPiAZ7lwvuK2kXlx3EELGQ+j9SBK+ Subject: AW: AW: [Caml-list] Update on docs.camlcity.org Am 05.02.2013 18:10:00 schrieb(en) D. LoBraico: > Given an API, I think it would be fairly easy to set up some sort of=20= =20 > in-editor functionality for Emacs. Ok, it's on my todo list now. Gerd > -Dominick >=20 > On 02/05, Gerd Stolpmann wrote: >> Am 05.02.2013 04:50:00 schrieb(en) Ivan Gotovchits: >>>=20 >>> Hello, Gerd! >>>=20 >>> Is it possible (at least in future) to search in emacs instead of >>> browser. Does your engine give access to some public API? >>=20 >> Not yet. But I was already thinking of an in-editor search. I only=20=20 >> don't have the knowledge to do it. >>=20 >> Making an API would be quite easy. >>=20 >> Gerd >>=20 >>=20 >>> -- >>> (__) >>> (oo) >>> /------\/ >>> / | || >>> * /\---/\ >>> ~~ ~~ >>> ...."Have you mooed today?"... >>>=20 >>> -- >>> Caml-list mailing list. Subscription management and archives: >>> https://sympa.inria.fr/sympa/arc/caml-list >>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >>> Bug reports: http://caml.inria.fr/bin/caml-bugs >>>=20 >>>=20 >>=20 >>=20 >>=20 >>--=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 >> ------------------------------------------------------------ >>--=20 >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 >=20 --=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 ------------------------------------------------------------=