Pine and Pico are trademarks of the University of Washington.
No commercial use of these trademarks may be made without prior
written permission of the University of Washington.
Pine, Pico and Pilot Copyright 1989-2002
University of Washington.
Additional legal notices are at the web URL
http://www.washington.edu/pine/legal.