Skip to content
Snippets Groups Projects
Commit 32d04e93 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

update Readme

parent 80eb8664
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 3 additions and 5 deletions
README.md
+ 3
− 5
View file @ 32d04e93
...@@ -21,10 +21,8 @@ For availability of commercial support, please contact Formal Mind (http://www.f ...@@ -21,10 +21,8 @@ For availability of commercial support, please contact Formal Mind (http://www.f
Please report bugs and feature requests at https://probjira.atlassian.net Please report bugs and feature requests at https://probjira.atlassian.net
# Prolog Source Code # Prolog Source Code
The latest source code of the Prolog binary can be downloaded from https://www3.hhu.de/stups/downloads/prob/source/. To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence. The latest source code of the Prolog binary can be downloaded from https://www3.hhu.de/stups/downloads/prob/source/.
To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence.
# ProB 2.0
The development repository for ProB 2.0 is avaliable from https://github.com/bendisposto/prob2
# Setting up the development environment # Setting up the development environment
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment