From 60b96b4d8e5f9c09909913fbcc47546dce480a0c Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Wed, 27 May 2020 14:51:08 +0200 Subject: [PATCH] prepared v.0.4.0 --- CHANGELOG.md | 7 ++++++- README.md | 8 +++++++- package.json | 2 +- 3 files changed, 14 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2ebf980..ea638bb 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 36bb1da..7cbc343 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 e7c5748..6911a9b 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": { -- GitLab