Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-08-10 16:48:56 -0700 (Thu, 10 Aug 2006)
Revision: 9485
Log message:

      Improved the handling of the verson string in version.txt:
      - The _released_ versions should have the version.txt of the form
           VERSION-RELEASE
        (and no spaces!)
      - The _development_ versions should have version.txt of either the form
           VERSION (COMMENT)
        where the comment should probably say that it's a development version,
        among other things, or it should just be
           VERSION
        and not contain any dashes or spaces. In this case the "(development
        version)" comment will be added automatically.