#! /bin/csh -f 
# Last edited on 2002-01-08 03:26:15 by stolfi

egrep -v '^[@#]' \
  | sed \
      -e 's/{[^{}]*}//g' \
      -e 's/ SYi / * /g' \
      -e 's/[F?]/*/g' \
      -e 's/[.][.][.]/*/g' \
      -e 's/\([,;~]\)/ \1 /g' \
  | tr ' ' '\012' \
  | egrep -v '^ *$'