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