Updated the manual and changed the version number to 1.2.13.
Authored by: bugman 2008-04-19
Parent: [r5817]
Child: [r5819]
