version.texi   [plain text]

@set EDITION 1.4.2
@set UPDATED August 2004
@set VERSION 1.4.2