version.texi revision 126432
1@set UPDATED 2 February 2000
2@set EDITION 2.4.2
3@set VERSION 2.4.2
4