From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 2A3F5BC37 for ; Sun, 16 Aug 2009 23:55:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak8CAIsdiEpX+G66mWdsb2JhbACCJi+YKQEBAQEBCAsKBxOmJYEjjn0BBYQZ X-IronPort-AV: E=Sophos;i="4.43,391,1246831200"; d="scan'208";a="34463755" Received: from web28507.mail.ukl.yahoo.com ([87.248.110.186]) by mail1-smtp-roc.national.inria.fr with SMTP; 16 Aug 2009 23:55:27 +0200 Received: (qmail 63415 invoked by uid 60001); 16 Aug 2009 21:55:27 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.de; s=s1024; t=1250459727; bh=R+LHKo02HzcpJlQEIZm2v+z8y3LspUxxVXTpLv8NaRg=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=X9b9+Gz++yUeB2d82h2ECYtEPl45ksJhJ8yZhdAkmEKc2A/7KNkAJ1qXE4YEWEsIaLh3mA6ArJdNPyfM29VWCs2/eIjFMSmoPyUJXoBf6GtgmcF4WVXw7qFs1QqYrjbwtesOebfJ7FkqsVhX6LSkiZhd6p0NjKdHGJEW0zsS6JU= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.de; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=Clynyk0EUX6kYtmNJIggKUkbI9r2bNDKso7h4rvdeznrNkC4ICD4OxC4RdD8+LZ5p+oQap0Ws+8nyzmPfPbO2n+0aE3f0if/pxQ1xaq+CRtIyac2zSJqxfZhA8hOFyPO+3QEycq7qJcwOhNC00jTyvLGn53OciMomHz2CL1q82I=; Message-ID: <396189.61943.qm@web28507.mail.ukl.yahoo.com> X-YMail-OSG: 8uvmT1YVM1m0X4ThoBUD4lSTKixdoJ4r4N6b4KXe6pT3HVW5NVQdQE4sqeGCQL9tGB10XR6HiCqgofWWte3iZ4v18VvVSExilm7qeEIBuCRdbxYnkDun3hU9xHHDWYpK2EUcY1HxgsgxGZ0RQbnbXk12lZn614sF21QM6j9Jprk0J.7B2rh41p.mrsVrdI7hFwZyb3cdjtM.ZJjz9GImcZwFDviQExqzPMNcfKnhCjRgj.MHT2SIIYjcM2NH6cFzDE3FURRhsTFWzWuKMklsou4Gxhz.bZ.fK2LZlMdjNd18qjiCV_IV9LQBKXeG3HuYD3t.hhcApgNYriYYXhQEZwOOXLTpYw-- Received: from [129.13.186.2] by web28507.mail.ukl.yahoo.com via HTTP; Sun, 16 Aug 2009 21:55:27 GMT X-Mailer: YahooMailClassic/6.1.2 YahooMailWebService/0.7.338.2 Date: Sun, 16 Aug 2009 21:55:27 +0000 (GMT) From: tumenjargal tsagaan Subject: fancy tex for ocaml code To: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-1139785344-1250459727=:61943" X-Spam: no; 0.00; ocaml:01 ocaml:01 tex:01 tex:01 generates:07 generates:07 fancy:08 fancy:08 wondering:09 wondering:09 code:17 code:17 thanks:17 thanks:17 tool:20 X-Attachments: cset="utf-8" cset="utf-8" --0-1139785344-1250459727=:61943 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, I was wondering if someone is aware of a tool for ocaml like this at http://people.cs.uu.nl/andres/lhs2tex/ which generates a fancy tex code fro= m haskell-code. Thanks a lot. Tumee. =0A=0A=0A --0-1139785344-1250459727=:61943 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable

Hi,

I was wondering if someone is = aware of a tool for ocaml like this at
http://people.cs.uu.nl/andres/lhs= 2tex/ which generates a fancy tex code from haskell-code.


Thanks= a lot.

Tumee.

=0A=0A=0A --0-1139785344-1250459727=:61943-- From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id BA460BC37 for ; Mon, 17 Aug 2009 00:13:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4CAIYhiErRVdrZimdsb2JhbACaPz8BAQEKCQwHEQWmG4Ejjn0BAwIEhBUFgik X-IronPort-AV: E=Sophos;i="4.43,391,1246831200"; d="scan'208";a="44733479" Received: from mail-bw0-f217.google.com ([209.85.218.217]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Aug 2009 00:13:46 +0200 Received: by bwz17 with SMTP id 17so2017794bwz.45 for ; Sun, 16 Aug 2009 15:13:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=EgJtY1z6D0+JcnlE5n/1JcWtaEGnfN/mus5PauBCQeg=; b=uI+awptPDIHRnv9R9SMMABy4FBfKb3RiBdXHxlDk9SGyUqa3cmGtAOMFtP73RejOUc XXxbAKurWzCV++z0fDnrmcPeeZYeI7uq6qSfrEf1yqUTwR+t9k2tq3TUnpCm6BdQHhk1 tJ9Md4zyWFQCXyN1hG4D3gl1HtHUWoFfekITo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=duqcVV4EMZ2YYMVF2k7BZqU22LXkVnGHt3FB//NSK8IDhlwsFc5nKizua8By0XN+Cs HHfolOFJAjbpi/jl/Kg5S/62WlCVAVjmv/J0WhxFChc0bhrHSnlz5Ahoc4wcmyr+hsGA bREM6XfmdvHz9W5dcHbpd6Qh94uCEOU/KdasU= MIME-Version: 1.0 Received: by 10.204.34.20 with SMTP id j20mr2266272bkd.57.1250460823673; Sun, 16 Aug 2009 15:13:43 -0700 (PDT) In-Reply-To: <396189.61943.qm@web28507.mail.ukl.yahoo.com> References: <396189.61943.qm@web28507.mail.ukl.yahoo.com> Date: Mon, 17 Aug 2009 00:13:43 +0200 Message-ID: <6cb897b30908161513x6ebc9155i99d0be4a8406088@mail.gmail.com> Subject: Re: [Caml-list] fancy tex for ocaml code From: Pierre-Evariste Dagand To: tumenjargal tsagaan Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 ocaml:01 ocamlweb:01 lri:01 filliatr:01 ocamlweb:01 noweb:01 noweb:01 caml-list:01 tex:01 tex:01 ens-cachan:01 fancy:08 eleves:08 wondering:09 Hi, > I was wondering if someone is aware of a tool for ocaml like this at > http://people.cs.uu.nl/andres/lhs2tex/ Ocamlweb is what you are looking for: [http://www.lri.fr/~filliatr/ocamlweb/]. It's an excellent tool. Also, for any language, noweb [http://www.cs.tufts.edu/~nr/noweb/] always works. Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C33C0BC37 for ; Tue, 18 Aug 2009 20:13:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AikBAIOMikrUGyoBkWdsb2JhbACBUpk4AQEBAQkLCgcTA74MhBkFgio X-IronPort-AV: E=Sophos;i="4.43,403,1246831200"; d="scan'208";a="32557051" Received: from unknown (HELO smtp1-g21.free.fr) ([212.27.42.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Aug 2009 20:13:39 +0200 Received: from smtp1-g21.free.fr (localhost [127.0.0.1]) by smtp1-g21.free.fr (Postfix) with ESMTP id B996B94016F; Tue, 18 Aug 2009 20:13:09 +0200 (CEST) Received: from llea.celt.neu (ron34-3-82-236-236-194.fbx.proxad.net [82.236.236.194]) by smtp1-g21.free.fr (Postfix) with ESMTP id B97D294011F; Tue, 18 Aug 2009 20:13:06 +0200 (CEST) Message-ID: <4A8AEF3D.9000001@laposte.net> Date: Tue, 18 Aug 2009 20:13:17 +0200 From: =?ISO-8859-1?Q?Micha=EBl_Gr=FCnewald?= User-Agent: Thunderbird 2.0.0.22 (X11/20090802) MIME-Version: 1.0 To: Pierre-Evariste Dagand Cc: tumenjargal tsagaan , caml-list@yquem.inria.fr Subject: Re: [Caml-list] fancy tex for ocaml code References: <396189.61943.qm@web28507.mail.ukl.yahoo.com> <6cb897b30908161513x6ebc9155i99d0be4a8406088@mail.gmail.com> In-Reply-To: <6cb897b30908161513x6ebc9155i99d0be4a8406088@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; ocaml:01 ocaml:01 ocamlweb:01 lri:01 filliatr:01 ocamlweb:01 noweb:01 noweb:01 literate:01 cheers:01 wrote:01 caml-list:01 tex:01 tex:01 btw:03 Pierre-Evariste Dagand wrote: > Hi, > >> I was wondering if someone is aware of a tool for ocaml like this at >> http://people.cs.uu.nl/andres/lhs2tex/ > > Ocamlweb is what you are looking for: > [http://www.lri.fr/~filliatr/ocamlweb/]. It's an excellent tool. I really second your voice saying that ocamlweb gives very enjoyable results. > Also, for any language, noweb [http://www.cs.tufts.edu/~nr/noweb/] always works. NOWEB will not produce a `fancy output' for a given language without special support for this language. BTW it is an excellent tool for literate programming. -- Cheers, Michaël