diff --git a/CHANGELOG.md b/CHANGELOG.md index 9f614f88fbd5432cb9d536212397d118d1f2957f..1e28d31c0513c0427ba85851dc3131c3cde49f61 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -49,4 +49,8 @@ ## [0.5.1] -- minor fixes \ No newline at end of file +- minor fixes + +## [0.5.2] + +- media fixes \ No newline at end of file diff --git a/README.md b/README.md index c34345633b3499ee46233745770bbdbb0477bf9f..ce3e37b3e52a99fb57a63069fa545f6636ff9287 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ## Features - + ## Requirements