Hi Matthias,
I think you are referring to release numbering rather than version numbering. For the next release, I numbered all the files and documentation 2013.04.
If we add to the library, this probably will not be practical to keep doing – does git have any form of version tags that allow you to have the release numbering added in the files? RCS and SCCS had this, have not seen any of this in the git documentation (I am fairly new to using git).
Jim
