From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7TGH5QQ013662 for ; Mon, 29 Aug 2011 18:17:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqIAANK6W07RVdK2mGdsb2JhbABCpwFfCBQBAQEBAQgJDQcUJYFAAQEBAQMSAiwBGx0BAwwGBQQBBg0uIgERAQUBHAYTGwekBgqMO4JVhHM7iG0CAwaGRgSTH4xhPINp X-IronPort-AV: E=Sophos;i="4.68,297,1312149600"; d="scan'208";a="117570591" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Aug 2011 18:16:59 +0200 Received: by iadx2 with SMTP id x2so1008923iad.27 for ; Mon, 29 Aug 2011 09:16:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=E/bCJ/fhTC0aqmyM/ES6SeURh8+fFcia9u0QnD0ObLg=; b=lpYrm1syTvlq1rT17rlWrwglbXBy521Hgmvp8FOzT6HMYTcFO/LMBaxVlmuGy8xlad KUAYfxe0aas925GjppTrTNXxZDH2XRyPhM8EmzHUZTLE/I9l3IwrPd5ZpFSJBzvf/m2i oevuPa7BSSqe7TVBPqVennbpKai82pBqyW8fA= Received: by 10.231.55.210 with SMTP id v18mr10767015ibg.26.1314634618398; Mon, 29 Aug 2011 09:16:58 -0700 (PDT) MIME-Version: 1.0 Received: by 10.231.12.13 with HTTP; Mon, 29 Aug 2011 09:16:38 -0700 (PDT) In-Reply-To: <4E5BB4E0.5020406@imag.fr> References: <4E5BAC4D.9090505@imag.fr> <4E5BB4E0.5020406@imag.fr> From: Esther Baruk Date: Mon, 29 Aug 2011 18:16:38 +0200 Message-ID: To: michel levy Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=000e0cd2532470664f04aba7391f Subject: Re: [Caml-list] insert ocaml source in latex --000e0cd2532470664f04aba7391f Content-Type: text/plain; charset=ISO-8859-1 Hi, for this purpose, you can also add " '(indent-tabs-mode nil)" to your "custom-set-variables" in your .emacs file. This will put some spaces when you press TAB instead of a tabulation. Esther Baruk On Mon, Aug 29, 2011 at 5:48 PM, michel levy wrote: > ** > On 29/08/2011 17:12, michel levy wrote: > > I want to insert some Ocaml expressions in latex, but by cut/paste it's > impossible, because I lose > the identation. > Do you have a solution to insert Ocaml source in latex document ? > Do you know if someone has written a definition for using ocaml with the > listings package ? > > Thank you all, for your answers to my questions. > But for my limited needs, I have also seen that cut/paste was a solution, > if, in emacs, > you replace the tabs by spaces. For example, M-x untabify replaces in a > selected region the tabs by spaces. > > --000e0cd2532470664f04aba7391f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi,

for this purpose, you can also add "=A0'(in= dent-tabs-mode nil)" to your "custom-set-variables" in your = .emacs file.
This will put some spaces when you press TAB instead= of a tabulation.


Esther Baruk


On Mon, Aug 29, 2011 at 5:48 PM, michel = levy <michel.le= vy@imag.fr> wrote:
=20=20 =20=20=20=20 =20=20
On 29/08/2011 17:12, michel levy wrote:
=20=20=20=20=20=20 I want to insert some Ocaml expressions in latex, but by cut/paste it's impossible, because I lose<= br> the identation.
Do you have a solution to insert Ocaml source in latex document ?
Do you know if someone has written a definition for using ocaml with the listings package ?

Thank you all, for your answers to my questions.
But for my limited needs, I have also seen that cut/paste was a solution, if, in emacs,
you replace the tabs by spaces. For example, M-x untabify replaces in a selected region the tabs by spaces.


--000e0cd2532470664f04aba7391f--