diff --git a/CHANGELOG.md b/CHANGELOG.md index 1f73062928b2baa4978cda3cd6f6233d857553c4..f2938d40fc3cd6550297b69f19e63705d32b8439 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -77,4 +77,14 @@ ## [0.6.4] -- fixed bug where sometimes changes lead to wrong represantation of mistakes \ No newline at end of file +- fixed bug where sometimes changes lead to wrong represantation of mistakes + + +## [0.6.5] + +- small spelling fixes + + +## [0.6.6] + +- markers in files without problems are now resettet properly \ No newline at end of file diff --git a/README.md b/README.md index 1122143327cf2b91b37a3a2b16256ab8f6293ead..a33869ad302ba564078970d7e24154daec40d225 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ## Requirements -- Latest nightly build of ProB. +- Latest nightly build of ProB. You can use older builds but be aware that things can break without notice. ## Extension Settings @@ -109,4 +109,9 @@ Please note that user settings overwrite workspace settings. ### 0.6.4 -- fixed bug where sometimes changes lead to wrong represantation of mistakes \ No newline at end of file +- fixed bug where sometimes changes lead to wrong represantation of mistakes + + +### [0.6.6] + +- markers in files without problems are now resettet properly \ No newline at end of file