---

Appendix B Development

The development of this project happens in a private PMS (Project Management System), but the source files are publicly available in a git repository.

To start working on a new version of the software (say ‘X.Y.Z’):

1. Add the new version to the PMS.
2. Define goals for the new version.
3. Report to the issue tracker the work to be done to achieve those goals.
4. For each issue reported to the tracker:
   1. Make the necessary changes to the source files.
   2. Test the changes.
   3. Document the changes.
   4. Mention the changes in the version history if they are important (see Version History).
5. Release version ‘X.Y.Z’:
   1. Update the release date of version ‘X.Y.Z’ in the version history of the documentation (see Version History).
   2. Update online manuals (for all supported languages).
   3. Update the project website (if any).
   4. Tag the latest revision as version ‘X.Y.Z’.
   5. Announce the release to the world.