Update version number, as there have been a number of changes since the last release
[pspp] / doc / dev / intro.texi
2007-11-11 Ben PfaffPatch #6262. New developers guide and resulting fixes...