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

adapt text for issues

parent bf581462
......@@ -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://github.com/hhu-stups/prob-issues
Please report bugs and feature requests at the new site 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