From a78d2b4504d203bd364a25c258a6051b8a59d19e Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Mon, 22 Mar 2021 17:06:08 +0100 Subject: [PATCH] add version info in Readme --- Einstein/Readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Einstein/Readme.md b/Einstein/Readme.md index 9e6544a..14dc0da 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. -- GitLab