File r34/util/reduce artifact 601da7d27d part of check-in b7c3de82ef
#!/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.