This is version.info, produced by makeinfo version 6.5 from version.texi.  Tag Table:  End Tag Table