version.texi revision 285612
1@set UPDATED 29 June 2015
2@set EDITION 4.2.8p3
3@set VERSION 4.2.8p3
4