This is version.info, produced by makeinfo version 5.2 from
version.texi.



Tag Table:

End Tag Table