diff --git a/CHANGELOG.md b/CHANGELOG.md index 2ebf980e4fdfe8cd545074f0fd55af28413fa86c..ea638bbb8b1dc0e527ab36a015db5865c3665f3b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -40,4 +40,9 @@ ## [0.3.0] - added option for performance feedback -- implemented 'info' as feedback type \ No newline at end of file +- implemented 'info' as feedback type + + +## [0.4.0] + +- added syntax highlighting \ No newline at end of file diff --git a/README.md b/README.md index 36bb1da7c27008b1df7b07a46d51ed1c70ab622b..7cbc34328c08178e7478f5e0e738e869e3e32a21 100644 --- a/README.md +++ b/README.md @@ -79,4 +79,10 @@ Please note that user settings overwrite workspace settings. ### 0.3.0 - added option for performance feedback -- implemented 'info' as feedback type \ No newline at end of file +- implemented 'info' as feedback type + + + +### 0.4.0 + +- added syntax highlighting (big thanks to: https://github.com/wysiib/language-b-eventb) \ No newline at end of file diff --git a/package.json b/package.json index e7c5748eeb7627459af915f06f08c8ccaa831f7a..6911a9b8e5cbcb92345a65ef41a54de1e6a1d2c6 100644 --- a/package.json +++ b/package.json @@ -4,7 +4,7 @@ "description": "Compiler and language support for B and via ProB", "version": "0.4.0", "publisher": "SeeBasTStick", - "icon": "./media/prob2-ui.png", + "icon": "media/prob2-ui.png", "author": "Sebastian Stock", "license": "MIT", "repository": {