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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 990ED7EE94 for ; Mon, 24 Dec 2012 18:04:45 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=74.125.82.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 74.125.82.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-wg0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8BAMWK2FBKfVIqjWdsb2JhbABEhXNHtywWDgEBAQEJCQsJEgYjgh4BAQUjHQE3AgMMAQUFEgYJFgsCAgIHAwIBAgEiAQUBDg4TCAEBh30DDwSXU4tkg0qERycNiU8BBQyMS4EaghaBEwOPCIEihWKFa4h9P4FXgj8 X-IronPort-AV: E=Sophos;i="4.84,349,1355094000"; d="vcf'?scan'208";a="187496580" Received: from mail-wg0-f42.google.com ([74.125.82.42]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Dec 2012 18:04:45 +0100 Received: by mail-wg0-f42.google.com with SMTP id dr1so2702452wgb.5 for ; Mon, 24 Dec 2012 09:04:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:message-id:date:from:user-agent:mime-version:to :subject:references:in-reply-to:content-type; bh=zbwaLmBHzQAVhCPJ3UsCRHV4iKl1n1xmN98U6pcLdi8=; b=oBCG4A99cU/kz54qLPg/rSlcOWhIKM6EKTXMzL0vBW9W+v96ueeOGCZQ0J/Ossndfd xPodMhUY4IGIHwUH2FQdl85ezWGUV3UdR3sjST8xxO1O+YQ8eqQnCYs36uDQE6hKv/RZ BfV0bSNMn27Yp6u5P7zXUKJyUpp+2cVW59NUseyXGiAnCMUR4Eg92QHWBifxmpdpfrzD ecyMFGqT0vgqzvdrzjW4YM9G1sBhJDPovRbtBBh5Y+nUw4RKDMLUXkqQoyazaproZuwa 7V39/6KY6czQG+V9XRBGKY4chdTwVMieiMHRgT4uofEvpDCa/TMfveYCUEUQ0SS45QRC hwHg== X-Received: by 10.194.9.197 with SMTP id c5mr36606125wjb.20.1356368684800; Mon, 24 Dec 2012 09:04:44 -0800 (PST) Received: from [192.168.0.43] (lns-bzn-48f-81-56-241-169.adsl.proxad.net. [81.56.241.169]) by mx.google.com with ESMTPS id hg17sm43833818wib.1.2012.12.24.09.04.42 (version=SSLv3 cipher=OTHER); Mon, 24 Dec 2012 09:04:43 -0800 (PST) Sender: Fabrice Le Fessant Message-ID: <50D88B2B.4020104@inria.fr> Date: Mon, 24 Dec 2012 18:04:43 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: multipart/mixed; boundary="------------090704090505070808020507" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] new user - old questions This is a multi-part message in MIME format. --------------090704090505070808020507 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hi, On 12/24/2012 10:36 AM, Gour wrote: > Now I wonder about Typerex which looks cool, but I was told on #ocaml > that it's "dead project" and was recommended to use tuareg mode? Typerex is not dead, it is just sleeping for a while :-) In the first version, we prototyped an external server that discusses with different editors, but it was complex, difficult to maintain, and actually hard to port to other editors than Emacs. So, we are now working on a different architecture, we develop most of the features as independent libraries, that can either be put together in one standalone editor in OCaml, or in different executables that are called by standard editors, à la ocamlspotter. The new version is not yet ready for use, but the project is not dead, for sure. --Fabrice --------------090704090505070808020507 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" YmVnaW46dmNhcmQNCmZuOkZhYnJpY2UgTEUgRkVTU0FOVA0KbjpMRSBGRVNT QU5UO0ZhYnJpY2UNCm9yZzpJTlJJQSBTYWNsYXkgLS0gSWxlLWRlLUZyYW5j ZTtQMlAgJiBPQ2FtbA0KYWRyO3F1b3RlZC1wcmludGFibGU6OztQYXJjIE9y c2F5IFVuaXZlcnNpdD1DMz1BOSA7T3JzYXkgQ0VERVg7OzkxODkzO0ZyYW5j ZQ0KZW1haWw7aW50ZXJuZXQ6ZmFicmljZS5sZV9mZXNzYW50QGlucmlhLmZy DQp0aXRsZTtxdW90ZWQtcHJpbnRhYmxlOkNoYXJnPUMzPUE5IGRlIFJlY2hl cmNoZQ0KdGVsO3dvcms6KzMzIDEgNzQgODUgNDIgMTQNCnRlbDtmYXg6KzMz IDEgNzQgODUgNDIgNDkgDQp1cmw6aHR0cDovL2ZhYnJpY2UubGVmZXNzYW50 Lm5ldC8NCnZlcnNpb246Mi4xDQplbmQ6dmNhcmQNCg0K --------------090704090505070808020507--