7Mar13 version files changed by 5Nov13 upgrade:

doc/Manual.html
doc/Manual.pdf
doc/Manual.txt
doc/Section_start.html
doc/Section_start.txt
src/app_potts_pin.cpp
src/set.cpp
src/solve_group.cpp
src/solve_linear.cpp
src/solve_tree.cpp
src/version.h