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 SAA07937; Thu, 10 May 2001 18:08:14 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA07933 for ; Thu, 10 May 2001 18:08:13 +0200 (MET DST) Received: from heplix4.ikp.physik.tu-darmstadt.de (heplix4.ikp.physik.tu-darmstadt.de [130.83.24.139]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4AG8Cn00997 for ; Thu, 10 May 2001 18:08:12 +0200 (MET DST) Received: (from ohl@localhost) by heplix4.ikp.physik.tu-darmstadt.de (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f4AG8Cm01962; Thu, 10 May 2001 18:08:12 +0200 From: Thorsten Ohl MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15098.48364.427110.543643@heplix4.ikp.physik.tu-darmstadt.de> Date: Thu, 10 May 2001 18:08:12 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] CDK binary release In-Reply-To: <15098.46839.795500.758294@pc803> References: <15094.25994.675673.222337@cremant.inria.fr> <20010509125858.B28402@miss.wu-wien.ac.at> <3AF9852A.F2B18679@ozemail.com.au> <20010510004003.A27333@miss.wu-wien.ac.at> <3AF9D067.93E6DE1A@ozemail.com.au> <15098.23852.403551.65183@cremant.inria.fr> <20010510131646.A20887@lambda.u-strasbg.fr> <20010510151854.A6851@miss.wu-wien.ac.at> <15098.46839.795500.758294@pc803> X-Mailer: VM 6.84 under Emacs 20.7.1 Reply-To: ohl@hep.tu-darmstadt.de Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jean-Christophe Filliatre writes: > But the purposes of cdk_doc and ocamlweb are clearly different: > > - cdk_doc is nice to produce HTML documentations of libraries, to be > browsed when developping. > > - ocamlweb is a literate programming tool; it means that it is used > to produce a document describing the all code i.e. interface but > also implementation, Yes, but it would be very useful if the markup could serve both purposes simultaneously. I'm using ocamlweb extensively and I find myself writing *.mli files that could be turned into online documentation (see http://heplix.ikp.physik.tu-darmstadt.de/~ohl/omega/omega.pdf for an extended example). Navigating a hyperlinked PDF version of the woven file is easy enough, but quick online documentation generated from the _same_ *.mli files (ignoring the implementation files) would also be a very welome addition. It's not entirely trivial to design something doesn't constrain ocamlweb too much, in particula in the math arena, but it could be done. A first step would be for ocamlweb to ignore the cdk_doc markup and for cdk_doc to map TeX commands to a ``under construction'' tag. -- Thorsten Ohl, Physics Department, TU Darmstadt -- ohl@hep.tu-darmstadt.de http://heplix.ikp.physik.tu-darmstadt.de/~ohl/ [<=== PGP public key here] ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr