version.texi   [plain text]

@set UPDATED 31 May 2007
@set UPDATED-MONTH May 2007
@set EDITION 0.6.14
@set VERSION 0.6.14