From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA11975 for caml-redistribution; Mon, 6 Oct 1997 18:50:40 +0200 (MET DST)
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 NAA05509 for <caml-list@pauillac.inria.fr>; Mon, 6 Oct 1997 13:51:30 +0200 (MET DST)
Received: from ns.euro.ge.com (ns.euro.ge.com [204.90.182.10])
	by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id NAA28395
	for <caml-list@inria.fr>; Mon, 6 Oct 1997 13:51:28 +0200 (MET DST)
Received: from smtp.euro.ge.com ([205.173.90.6])
	by ns.euro.ge.com (8.8.7/8.8.7) with ESMTP id LAA11735
	for <caml-list@inria.fr>; Mon, 6 Oct 1997 11:51:29 GMT
Received: from thomas.ge.com (thomas.ge.com [3.47.28.21])
	by smtp.euro.ge.com (8.8.7/8.8.7) with ESMTP id LAA19395
	for <caml-list@inria.fr>; Mon, 6 Oct 1997 11:51:20 GMT
Received: from gemb1.ae.ge.com (gemb1.ae.ge.com [129.202.7.246]) by thomas.ge.com (8.8.4/8.7.5) with SMTP id HAA07423 for <caml-list@inria.fr>; Mon, 6 Oct 1997 07:51:18 -0400 (EDT)
Received: from ss09.ae.ge.com by gemb1.ae.ge.com; (5.65/1.1.8.2/04Nov94-0158PM)
	id AA21262; Mon, 6 Oct 1997 07:50:18 -0400
Received: from c0230.ae.ge.com by ss09.ae.ge.com with ESMTP
	(1.37.109.16/15.6) id AA072448676; Mon, 6 Oct 1997 07:51:16 -0400
Received: (from buyuk@localhost) by c0230.ae.ge.com (8.7.6/8.7.3) id HAA11930; Mon, 6 Oct 1997 07:51:10 -0400 (EDT)
Date: Mon, 6 Oct 1997 07:51:10 -0400 (EDT)
Message-Id: <199710061151.HAA11930@c0230.ae.ge.com>
From: U-E59264-Osman Buyukisik <Osman.Buyukisik@ae.ge.com>
To: caml-list@inria.fr
In-Reply-To: <199710031634.JAA10036@lagaffe.CS.Berkeley.EDU> (message from
	Manuel Fahndrich on Fri, 3 Oct 1997 09:34:58 -0700)
Subject: Re: type declaration in */mli & *.ml
Sender: weis

Since I have seen a couple of litprog tools mentioned, I will add a
little to the discussion. There are a number of litprog tools
available for this purpose: nuweb/noweb/funnelweb/CLiP etc that I
would suggest looking at the litprog FAQ (at the usual places), and
then making your own decision. noweb/nuweb are easy to learn (a few
pages of docs). Others have more features/take more time to get
proficient at. There is a news group comp.programming.literate.
Osman