3Jan12 version files changed by 4Jan12 upgrade: doc/Manual.pdf src/set.cpp src/version.h