version.texi   [plain text]

@set UPDATED 2 November 1999
@set EDITION 1.3.5
@set VERSION 1.3.5