Files in this directory

Name	Date	Size		Description
Makefile	1998-01-02	4 Kbyte	download
Makefile3.3	1998-01-02	4 Kbyte	download
README	1998-01-02	1 Kbyte	download	Shown below
make	1998-01-02	124 bytes	download
make3.3	1998-01-02	136 bytes	download
reduce.spider	1998-01-02	9 Kbyte	download
reduce33.spider	1998-01-02	9 Kbyte	download
rtangle	1998-01-02	251 bytes	download
rtangle.ch	1998-01-02	3 Kbyte	download
rweave.ch	1998-01-02	6 Kbyte	download
underscore.web	1998-01-02	811 bytes	download

---

Contents of the README file

This directory contains all the necessary stuff for making RWEB, the 
REDUCE version of WEB.

Currently I maintain two versions, one for the old REDUCE version 3.3
and one for the new version 3.4. It should be noted, however, that I only 
make improvements on the new 3.4 version. The main difference until
now in both versions, is the removing of underscores in the 3.3 version.

Along with these files you need a version of SPIDERY WEB, which can be
obtained by anonymous ftp from princeton.edu (128.112.128.1).

After you have installed SPIDERY WEB you know what it means to put the
files contained in this directory into a new directory $(WEBROOT)/reduce.
Do it. You might as well want to change the variable HOME in
$(WEBROOT)/reduce/Makefile (which is in fact an adapted version of
$(MASTER)/WebMakefile).

In order to make RWEB, go to $(WEBROOT)/reduce and type 'make weave',
'make tangle' or 'make web', if you want to make rweave, rtangle or
both. The documentation needed for using RWEB is
$(WEBROOT)/doc/spiderwebman.tex.

Have fun,

Old address:

Marcel Roelofs,
University of Twente,
Department of applied mathematics,
P.O. Box 217,
7500 AE Enschede,
The Netherlands.
E-mail: roelofs@math.utwente.nl

New (941105) roelofs@cwi.nl

Small print: This listing is regenerated periodically so there is a small chance that the directory has changed from what is shown here; to be sure, check the FTP listing.