Commit bf581462 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

update link to prob-issues site

parent c68e22cf
......@@ -18,7 +18,7 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel).
# Bugs
Please report bugs and feature requests at https://probjira.atlassian.net
Please report bugs and feature requests at https://github.com/hhu-stups/prob-issues
# Prolog Source Code
The latest source code of the Prolog binary can be downloaded from https://www3.hhu.de/stups/downloads/prob/source/.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment