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

@set LASTCHANGE Sun Feb  2 16:22:00 EST 2014

@set EDITION 4.3
@set VERSION 4.3
@set UPDATED 2 February 2014
@set UPDATED-MONTH February 2014
