#not needed under tcsh: #!/bin/csh -f
#----------- find a "name" in Refs.list
#     usage: refs name
#
### set path to Refs.list file here:
set refspath = "Refs.list"

echo " "
echo "---- $refspath ----"
fgrep -i $1 $refspath

### replaces 
# alias  refs 'echo " "; echo "---- Refs.list ----"; \
# 		 fgrep -i \!^ $Refs.list; \