Default dashboard

Welcome to the ProB bug tracker. Thank you very much for taking the time to report issues and helping us to improve ProB.

Please note that this bug tracker is hosted by Atlassian, not by us.

The project's website is located at http://www.prob2.de