version.texi   [plain text]

@set UPDATED 10 September 2001
@set EDITION 1.4.2
@set VERSION 1.4.2