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

update capitalization in Readme

(to force re-building plugin)
parent e26769bf
No related branches found
No related tags found
No related merge requests found
...@@ -22,7 +22,7 @@ Please report bugs and feature requests at the new site https://github.com/hhu-s ...@@ -22,7 +22,7 @@ Please report bugs and feature requests at the new site https://github.com/hhu-s
# 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/. 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. To build the Prolog binaries you require a SICStus 4 (http://sicstus.sics.se/index.html) licence.
# Setting up the development environment # Setting up the development environment
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment