diff --git a/Einstein/Readme.md b/Einstein/Readme.md index 9e6544a3e0ed02fef5969b0ff5adb5be18d2cf2b..14dc0da6cb76edb683cd611420d37a1466b56f69 100644 --- a/Einstein/Readme.md +++ b/Einstein/Readme.md @@ -2,7 +2,7 @@ ## ProB2-UI and VisB -You will need to download a recent version of [ProB2-UI](https://www3.hhu.de/stups/prob/index.php/Download#ProB2_UI_using_Java_FX) for the examples below. +You will need to download a recent version of [ProB2-UI](https://www3.hhu.de/stups/prob/index.php/Download#ProB2_UI_using_Java_FX) for the examples below (1.1.1-SNAPSHOT or newer). It will contain the [VisB](https://www3.hhu.de/stups/prob/index.php/VisB) view to allow visualizing states using SVG graphics and simple JSON annotations.