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

@set LASTCHANGE Fri Jul 15 23:14:38 EDT 2005

@set EDITION 3.1-devel
@set VERSION 3.1-devel
@set UPDATED 15 July 2005
@set UPDATED-MONTH July 2005