From 9d9852f75954dc2472f50b9b46aefeee86cac8f0 Mon Sep 17 00:00:00 2001
From: bendisposto <jens@bendisposto.de>
Date: Fri, 16 May 2014 10:07:29 +0200
Subject: [PATCH] Update README.md

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 97e65600..a6692f75 100644
--- a/README.md
+++ b/README.md
@@ -13,6 +13,13 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
 
 For availability of commercial support, please contact Formal Mind (http://www.formalmind.com).
 
+# Prolog Source Code
+The latest source code of the Prolog binary can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/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
 
 - Clone the repository (http://github.com/bendisposto/prob) 
-- 
GitLab