version.texi revision 1.1.1.3 
1@set UPDATED 6 December 2012
2@set UPDATED-MONTH December 2012
3@set EDITION 2.5.39
4@set VERSION 2.5.39
5