History Manual/Repository/trunk/Manual.texi