@ignore
-Copyright (C) 1988-2011 Free Software Foundation, Inc.
+Copyright (C) 1988-2012 Free Software Foundation, Inc.
@end ignore
@set EDITION 6.2
@set VERSION 6.2
-@set UPDATED December 21 2011
-@set UPDATED-MONTH December 2011
+@set UPDATED 4 February 2012
+@set UPDATED-MONTH February 2012
-@set LASTCHANGE Wed Dec 21 21:04:12 EST 2011
+@set LASTCHANGE Sat Feb 4 16:31:10 EST 2012