version.texi   [plain text]

@set UPDATED 8 June 2007
@set UPDATED-MONTH June 2007
@set EDITION 1.17
@set VERSION 1.17