[Fractdev] patch numbering

Jonathan, how do you want to handle patch numbers now that we are using CVS? Does each commit to CVS correspond to a patch number. Upon reflection, I'm not sure that's necessary, though until I get used to the new system, I might increment the patch number for each commit just for safety. We could use CVS variables to report versions, but we'd have to rember to commit the file that has the patch number each time. and to automatically generate CVS versions each time. Tim