diff --git a/src/docs/chapter/user/52_Prolog/Running_ProB_from_source.adoc b/src/docs/chapter/user/52_Prolog/Running_ProB_from_source.adoc
index 53a6c930b2d3c7eef919696b218a90458ee3794b..f9eb4fd7ba9fa8fa98f3ebf49ea59b2c6bee3dc8 100644
--- a/src/docs/chapter/user/52_Prolog/Running_ProB_from_source.adoc
+++ b/src/docs/chapter/user/52_Prolog/Running_ProB_from_source.adoc
@@ -2,6 +2,20 @@
 [[running-prob-from-source]]
 = Running ProB from source
 
+[[getting-prob-sources]]
+== Getting the sources
+
+You can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/stups/downloads/prob/source/]
+
+
+You may also wish to obtain related Java sources:
+* The source code for the ProB parsers (B, LTL, ...) can be obtained from: [https://https://github.com/hhu-stups/probparsers https://github.com/hhu-stups/probparsers].
+* The ProB2-Java-API source code can be obtained from: [https://github.com/hhu-stups/prob2_kernel https://github.com/hhu-stups/prob2_kernel].
+* The ProB2-Java-FX UI source code can be obtained from: [https://github.com/hhu-stups/prob2_ui https://github.com/hhu-stups/prob2_ui].
+* The B to Java value translator can also be useful and is a separate project: [https://github.com/hhu-stups/value-translator https://github.com/hhu-stups/value-translator].
+* The Plugin for Rodin is also a separate project: [https://github.com/hhu-stups/prob-rodinplugin https://github.com/hhu-stups/prob-rodinplugin].
+* The Alloy to B translator is here: [https://github.com/hhu-stups/alloy2b https://github.com/hhu-stups/alloy2b].
+
 [[starting-prob-tcltk]]
 == Starting ProB Tcl/Tk