doc/version.texi~

   1 @ignore
   2 Copyright (C) 1988-2011 Free Software Foundation, Inc.
   3 @end ignore
   4
   5 @set LASTCHANGE Mon Oct 24 08:43:33 EDT 2011
   6
   7 @set EDITION 4.2
   8 @set VERSION 4.2
   9 @set UPDATED 24 October 2011
  10 @set UPDATED-MONTH October 2011