Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-07-06 15:43:00 -0700 (Thu, 06 Jul 2006)
Revision: 9425
Log message:

      Do not print silent commands (the ones with a leading @), even in diverted
      output.