Updated the manual and changed the version number to 1.2.12.
Authored by: bugman 2007-11-17
Parent: [r3534]
Child: [r3536]
