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