@ignore
Copyright (C) 1988-2004 Free Software Foundation, Inc.
@end ignore

@set EDITION 3.0
@set VERSION 3.0
@set UPDATED 27 July 2004
@set UPDATED-MONTH July 2004

@set LASTCHANGE Tue Jul 27 09:12:07 EDT 2004