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 p7TFCIYh010693 for ; Mon, 29 Aug 2011 17:12:21 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwBAKGrW07UGyoGkWdsb2JhbABCmGuPFhQBAQEBCQsLBxQDIoE3gQgfAR0WGAMCAQIBPxkGAgEBF4dZAplioAaGTASTH4UOi3g X-IronPort-AV: E=Sophos;i="4.68,297,1312149600"; d="scan'208,217";a="117561810" Received: from smtp6-g21.free.fr ([212.27.42.6]) by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Aug 2011 17:12:20 +0200 Received: from [192.168.0.7] (unknown [88.179.49.179]) by smtp6-g21.free.fr (Postfix) with ESMTP id DAE6E822B1 for ; Mon, 29 Aug 2011 17:12:14 +0200 (CEST) Message-ID: <4E5BAC4D.9090505@imag.fr> Date: Mon, 29 Aug 2011 17:12:13 +0200 From: michel levy User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.20) Gecko/20110805 Thunderbird/3.1.12 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="------------090802080002060105060803" Subject: [Caml-list] insert ocaml source in latex This is a multi-part message in MIME format. --------------090802080002060105060803 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit 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 ? -- Michel Lévy 36 rue George Sand 38400 Saint Martin d'Hères tel : +33(0)476243339 email : michel.levy@imag.fr http://membres-liglab.imag.fr/michel.levy --------------090802080002060105060803 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit 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 ?

-- 
Michel Lévy 36  rue George Sand 38400 Saint Martin d'Hères
tel : +33(0)476243339
email : michel.levy@imag.fr
http://membres-liglab.imag.fr/michel.levy

--------------090802080002060105060803-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7TFYrMh011613 for ; Mon, 29 Aug 2011 17:34:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswCAJ6wW06egkQMgWdsb2JhbABCqAQUAQEWJiWBQAEBBAE4QQULCyEWDwkDAgECAUUGDQEHAheHV7l5hkwEmC2MEg X-IronPort-AV: E=Sophos;i="4.68,297,1312149600"; d="scan'208";a="106980071" Received: from fox.seas.upenn.edu ([158.130.68.12]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 Aug 2011 17:34:47 +0200 Received: from [158.130.12.16] (SEASNet-12-07.cis.upenn.edu [158.130.12.16]) (authenticated bits=0) by fox.seas.upenn.edu (8.14.4/8.14.3) with ESMTP id p7TFVVTJ016352 (version=TLSv1/SSLv3 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NOT); Mon, 29 Aug 2011 11:31:32 -0400 Message-ID: <4E5BB0D3.4010302@m4x.org> Date: Mon, 29 Aug 2011 11:31:31 -0400 From: Benoit Montagu User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.20) Gecko/20110820 Icedove/3.1.12 MIME-Version: 1.0 To: michel levy CC: caml-list@inria.fr References: <4E5BAC4D.9090505@imag.fr> In-Reply-To: <4E5BAC4D.9090505@imag.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.4.6813,1.0.211,0.0.0000 definitions=2011-08-29_05:2011-08-29,2011-08-29,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=6.0.2-1012030000 definitions=main-1108290159 Subject: Re: [Caml-list] insert ocaml source in latex > 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 ? It might not be up to date, but there is one that is included in the default listings package. \lstset{ language=[Objective]Caml } should work. -- Benoit 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 p7TFbao5011847 for ; Mon, 29 Aug 2011 17:37:40 +0200 From: luc.maranget@inria.fr X-IronPort-AV: E=Sophos;i="4.68,297,1312149600"; d="scan'208";a="117565392" Received: from yquem.inria.fr ([128.93.8.37]) by mail1-relais-roc.national.inria.fr with ESMTP; 29 Aug 2011 17:37:40 +0200 Received: by yquem.inria.fr (Postfix, from userid 18041) id DC85AE19D7; Mon, 29 Aug 2011 17:37:40 +0200 (CEST) Date: Mon, 29 Aug 2011 17:37:40 +0200 To: michel levy Cc: caml-list@inria.fr Message-ID: <20110829153740.GA10086@yquem.inria.fr> References: <1021401908.2930.1314630761934.JavaMail.root@zmbs2.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1021401908.2930.1314630761934.JavaMail.root@zmbs2.inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] insert ocaml source in latex Objective Caml is defined by default by the listing package use keyword language=[Objective]{Caml} --Luc > 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 ? > > -- > Michel Lévy 36 rue George Sand 38400 Saint Martin d'Hères > tel : +33(0)476243339 > email : michel.levy@imag.fr > http://membres-liglab.imag.fr/michel.levy > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Luc Maranget 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 p7TFejKO012117 for ; Mon, 29 Aug 2011 17:40:45 +0200 X-IronPort-AV: E=Sophos;i="4.68,297,1312149600"; d="scan'208";a="117565880" Received: from unknown (HELO alcazar) ([195.83.212.126]) by mail1-relais-roc.national.inria.fr with ESMTP; 29 Aug 2011 17:40:40 +0200 Date: Mon, 29 Aug 2011 17:41:54 +0200 From: Maxence Guesdon To: michel levy Cc: caml-list@inria.fr Message-ID: <20110829174154.541c2dc0@alcazar> In-Reply-To: <4E5BAC4D.9090505@imag.fr> References: <4E5BAC4D.9090505@imag.fr> Organization: INRIA X-Mailer: Claws Mail 3.7.9 (GTK+ 2.24.5; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] insert ocaml source in latex On Mon, 29 Aug 2011 17:12:13 +0200 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 ? You may have a look at highlight: http://www.andre-simon.de/doku/highlight/en/highlight.html -- Maxence From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7TFn30A012460 for ; Mon, 29 Aug 2011 17:49:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwBAES0W07UGyoGkWdsb2JhbABCmG+PFhQBAQEBCQsLBxQDIoFAAQEFeBELBAETCRYPCQMCAQIBRRMIAQEXh1m5dIZMBJMfhQ6LeA X-IronPort-AV: E=Sophos;i="4.68,297,1312149600"; d="scan'208,217";a="106981732" Received: from smtp6-g21.free.fr ([212.27.42.6]) by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Aug 2011 17:48:57 +0200 Received: from [192.168.0.7] (unknown [88.179.49.179]) by smtp6-g21.free.fr (Postfix) with ESMTP id 3E9038231D for ; Mon, 29 Aug 2011 17:48:50 +0200 (CEST) Message-ID: <4E5BB4E0.5020406@imag.fr> Date: Mon, 29 Aug 2011 17:48:48 +0200 From: michel levy User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.20) Gecko/20110805 Thunderbird/3.1.12 MIME-Version: 1.0 To: caml-list@inria.fr References: <4E5BAC4D.9090505@imag.fr> In-Reply-To: <4E5BAC4D.9090505@imag.fr> Content-Type: multipart/alternative; boundary="------------040301060702040105070101" Subject: Re: [Caml-list] insert ocaml source in latex This is a multi-part message in MIME format. --------------040301060702040105070101 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit 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. --------------040301060702040105070101 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit 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.

--------------040301060702040105070101-- 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--