diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/reduce/rweb/README |
Initial commit
Diffstat (limited to 'web/reduce/rweb/README')
-rw-r--r-- | web/reduce/rweb/README | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/web/reduce/rweb/README b/web/reduce/rweb/README new file mode 100644 index 0000000000..5e4c2c321b --- /dev/null +++ b/web/reduce/rweb/README @@ -0,0 +1,35 @@ +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 |