A ticket could be anything buggy, annoying, wrong or slightly out of alignment.
- Please use a descriptive title.
- Give any relevant information, such as the action you were completing or the proof you were working on.
- It would be great if you can upload an ndp file with the problem (where relevant), or a screenshot.
- Please also ensure the milestone matches the version you are using, which can be found in Options -> About (or in the name of the JAR file).
