8Jan08 version files changed by 9Jan08 patch:

doc/variable.html
doc/variable.txt
src/variable.cpp
src/variable.h