version.texi revision 82794 
1@set UPDATED 3 July 2001
2@set EDITION 6.0.7
3@set VERSION 6.0.7
4