diff --git a/README.md b/README.md index dc40158b450e0dfd148759bdbd8ddc887cc42c6a..e9db2aac01bdf5ef32bc7ac261366fd6746e3b3d 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