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

add source code links

still in Wikimedia format
parent 36ff1f03
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment