Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Wed, 14 Apr 1993 11:40:43 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA25772; Wed, 14 Apr 93 03:31:50 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from infix.cs.ruu.nl by ted.cs.uidaho.edu (16.6/1.34) id AA25767; Wed, 14 Apr 93 03:31:42 -0700 Received: by infix.cs.ruu.nl id AA08118 (5.65c/IDA-1.4.4 for info-hol@ted.cs.uidaho.edu); Wed, 14 Apr 1993 12:31:13 +0200 From: Wishnu Prasetya Message-Id: <199304141031.AA08118@infix.cs.ruu.nl> Subject: Re: NOWEB sources To: markaa@EDU.CORNELL.EE.ultrastar (Mark D. Aagaard) Date: Wed, 14 Apr 1993 12:31:12 +0100 (METDST) Cc: info-hol@edu.uidaho.cs.ted (hol mailing list) In-Reply-To: <9304082143.AA00355@ultrastar.EE.CORNELL.EDU> from "Mark D. Aagaard" at Apr 8, 93 05:43:12 pm X-Mailer: ELM [version 2.4 PL21] Content-Type: text Content-Length: 458 > Thanks for posting the description and documentation for NOWEB. > > Where are the sources? > > Thanks, > mark aagaard > markaa@ee.cornell.edu To be honest, I didn't know from where we get it. I suppose you can contact the writer. His address is given in the manual I posted. BUT, I can always send you the sources if you wish. It's small. Or, if there is enough interest, I can put it in the HOL on-line contrib. -Wishnu Prasetya-