13Jan15 version files changed by 21Jan15 upgrade:

doc/Manual.html
doc/Manual.pdf
doc/Manual.txt
src/cut2d.cpp
src/cut3d.cpp
src/update.cpp
src/version.h
tools/grid_refine.py