5Nov13 version files changed by 18Nov13 upgrade:

README
doc/Manual.html
doc/Manual.pdf
doc/Manual.txt
doc/Section_intro.html
doc/Section_intro.txt
src/version.h