diff --git a/README.md b/README.md index 2f4c0da7016eaee2afd512ee113686e21f125b66..365c1de8f8caaa5d0fc5fa397a5f776d0a1254a0 100644 --- a/README.md +++ b/README.md @@ -27,7 +27,7 @@ To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/ind # Setting up the development environment -- Clone the repository (http://github.com/bendisposto/prob) +- Clone the repository (https://github.com/hhu-stups/prob-rodinplugin) We suggest to fork the project on github (see https://help.github.com/articles/fork-a-repo) - We use gradle to manage the dependencies to the libraries, thus you will need gradle installed on your computer.