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

@set EDITION 6.4
@set VERSION 6.4
@set UPDATED 28 May 2015
@set UPDATED-MONTH May 2015

@set LASTCHANGE Thu May 28 16:58:07 EDT 2015
