4JUn12 version files changed by 4Jun12 upgrade: doc/Manual.pdf src/output.cpp src/version.h