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/