version.texi   [plain text]

@set UPDATED 29 September 2002
@set UPDATED-MONTH September 2002
@set EDITION 1.3.5
@set VERSION 1.3.5