From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA29508; Thu, 7 Oct 2004 14:35:55 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA29699 for ; Thu, 7 Oct 2004 14:35:54 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i97CZrN1014192 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 7 Oct 2004 14:35:54 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id B9D7419E710; Thu, 7 Oct 2004 14:35:53 +0200 (CEST) Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 28805-01; Thu, 7 Oct 2004 14:35:53 +0200 (CEST) Received: from smtp.lri.fr (serveur3-5 [129.175.3.5]) by ext.lri.fr (Postfix) with ESMTP id A4DAE19E70F; Thu, 7 Oct 2004 14:35:53 +0200 (CEST) Received: from pc8-142 (pc8-142 [129.175.8.142]) by smtp.lri.fr (Postfix) with ESMTP id B7544CEE04; Thu, 7 Oct 2004 14:35:52 +0200 (CEST) Received: from filliatr by pc8-142 with local (Exim 3.36 #1 (Debian)) id 1CFXUv-0005tT-00; Thu, 07 Oct 2004 14:35:53 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <16741.14377.572882.79203@gargle.gargle.HOWL> Date: Thu, 7 Oct 2004 14:35:53 +0200 To: Vasili Galchin Cc: caml-list Subject: Re: [Caml-list] OCaml and doxygen??? In-Reply-To: <1097110646.20680.488.camel@pelican.wigram> References: <20041006173007.14593.qmail@web53009.mail.yahoo.com> <1097110646.20680.488.camel@pelican.wigram> X-Mailer: VM 7.18 under Emacs 21.3.1 From: Jean-Christophe Filliatre X-Virus-Scanned: by amavisd-new at lri.fr X-Miltered: at nez-perce with ID 41653829.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 doxygen:01 filliatre:01 filliatre:01 lri:01 2004:99 doxygen:01 ocamlweb:01 lri:01 filliatr:01 ocamlweb:01 filliatr:01 knuth's:01 knuth's:01 implements:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, 2004-10-07 at 03:30, Vasili Galchin wrote: > > To my knowledge http://www.doxygen.org only works with C/C++. Is > there any general-purpose tool that allows one to do something like > literate programming with OCaml? I've developed a literate programming tool for Ocaml, ocamlweb. See http://www.lri.fr/~filliatr/ocamlweb/ You'll find many examples of ocamlweb output on this page: http://www.lri.fr/~filliatr/software.en.html (looking at the .ps links) Though ocamlweb was inspired by Knuth's WEB it only implements the pretty-printing and indexing features, not the weaving feature (i.e. the ability to present pieces of code in an arbitrary order). I consider ocaml to be structured enough. ocamlweb is assuming comments to be written in LaTeX (unless declared as true comments that should be ignored). I wrote this tool to get nice listings of my code, following Knuth's principle that a program should be something as beautiful as a book, readable by a human (and not only a machine). -- Jean-Christophe Filliātre ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners