version.texi   [plain text]

@set UPDATED 24 May 2016
@set EDITION 4.2.8p8
@set VERSION 4.2.8p8