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