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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BE5037F20B for ; Fri, 8 Feb 2013 19:19:53 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.223.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.223.171 as permitted sender) identity=mailfrom; client-ip=209.85.223.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f171.google.com) identity=helo; client-ip=209.85.223.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ie0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlMCAIdAFVHRVd+rm2dsb2JhbABFwQMIFg4BAQEBAQgJKCeCFgoBBUABGx0BAwwGBQMBAgU7IQEBEQEFARwGE4d+AQMPoFaMNIJ7hEMKGScNWYh3AQUMjAqFRgOIZotlgVmLQIMxFimEQQ X-IPAS-Result: AlMCAIdAFVHRVd+rm2dsb2JhbABFwQMIFg4BAQEBAQgJKCeCFgoBBUABGx0BAwwGBQMBAgU7IQEBEQEFARwGE4d+AQMPoFaMNIJ7hEMKGScNWYh3AQUMjAqFRgOIZotlgVmLQIMxFimEQQ X-IronPort-AV: E=Sophos;i="4.84,630,1355094000"; d="scan'208";a="1592099" Received: from mail-ie0-f171.google.com ([209.85.223.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Feb 2013 19:12:02 +0100 Received: by mail-ie0-f171.google.com with SMTP id 10so5397474ied.16 for ; Fri, 08 Feb 2013 10:19:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=7VxNPMvv5RjxPQHx3JtYWMWbs8Hj0Mojd0RGSw4ELPo=; b=zf6ZX7+biwgBmdMy/VltfJKKwmco8jkpLPo8FHQoanRLwvovInG3kVVqvixZLPil3z Q1G4amG/wt3QCnOsnXt5IqAVmAZhKKgsl6NEVot7VvsY3FJ52Yu0L0w8b58tKIaMsGNg HnRlrQCJihM54Tia3Y7udKPpTEZdKsMhOJoLdD4r44hMN1i02GyFXJ3jf2tTqMziD6QP 8FOvmxTp3b9R8PW+I9Agydu/fPOQslwSq6VhDkPQm2DSmjXmVHP7Ic3k1cRjKJzPlWyO enyGi4QjxoLVZMJQ9jbVJ7EKmY71aCx/nE/bE+wF4aR/8Iz4KlWJnb/dN8F9/e5Miw3N +KLA== X-Received: by 10.42.33.196 with SMTP id j4mr10525708icd.4.1360347591938; Fri, 08 Feb 2013 10:19:51 -0800 (PST) MIME-Version: 1.0 Received: by 10.64.47.229 with HTTP; Fri, 8 Feb 2013 10:19:30 -0800 (PST) In-Reply-To: References: <201302081625.29881.louis.gesbert@ocamlpro.com> From: Ashish Agarwal Date: Fri, 8 Feb 2013 13:19:30 -0500 Message-ID: To: Louis Gesbert Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=14dae9d7bff4fd11fc04d53a9a0e Subject: Re: [Caml-list] ocp-indent beta release --14dae9d7bff4fd11fc04d53a9a0e Content-Type: text/plain; charset=ISO-8859-1 On Fri, Feb 8, 2013 at 1:10 PM, Ashish Agarwal wrote: I installed typerex and ocp-indent, but don't find ocp-indent.el. My mistake... I didn't sync with the ocamlpro repo. --14dae9d7bff4fd11fc04d53a9a0e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Feb 8, 2013 at 1:10 PM, Ashish Agarwal <agarwal1975@gmail.com<= /a>> wrote:

I installed typerex and ocp-indent, but don't find ocp-indent.el.

My mistake... I didn't sync with the ocamlpr= o repo.

--14dae9d7bff4fd11fc04d53a9a0e--