17Nov07 version files changed by 1Dec08 upgrade:

doc/Manual.html
doc/Section_basics.html
doc/Section_install.html
doc/Section_tools.html
doc/data.html
doc/data.txt
doc/patch.html
doc/patch.txt
scripts/README
src/cfg.py
src/data.py
src/patch.py
src/pizza.py