diff --git a/README.md b/README.md index a6692f750dd7745cb78c2f14aa027f0a8240974c..b847cb396215ff7321df13b8c384b276e0309930 100644 --- a/README.md +++ b/README.md @@ -13,6 +13,9 @@ The ProB binary and source distributions contain the nauty library (http://cs.an For availability of commercial support, please contact Formal Mind (http://www.formalmind.com). +# Bugs +Please report bugs and feature requests at http://jira.cobra.cs.uni-duesseldorf.de/ + # Prolog Source Code The latest source code of the Prolog binary can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/source/. To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence.