From 656139cdbc0ea90e5ecac9480e8dcdc5892cc756 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Mon, 18 May 2020 11:16:06 +0200 Subject: [PATCH] added screen caputre --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index dc40158..e9db2aa 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,8 @@ Compiler support for b/eventb via ProB. You need a build a version of ProB downl ## Features -(Animation) + + ## Requirements -- GitLab