File r34/util/reduce artifact 601da7d27d part of check-in b5833487d7
#!/bin/csh -f # reduce --- Script to load REDUCE. It should be installed in # /usr/local/bin, or equivalent directory. setenv reduce /reduce # location of actual reduce directory. $reduce/reduce # or wherever the reduce executable resides.