From 5019a29cd0d7a99bd53a299356f117c49fa3f21d Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 28 Jun 2023 13:27:17 +0200 Subject: [PATCH] Remove pointless brackets in CHANGELOG.md headings --- CHANGELOG.md | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 57e62da..aca0b09 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,67 +1,67 @@ # Change Log -## [0.0.1] +## 0.0.1 - first prototype version -## [0.0.2] +## 0.0.2 - option to add cutom path -## [0.0.4] +## 0.0.4 - fixed bug in the package.json file leading to unnoticed server crash - added feedback when using an unreachable path - added feedback when using a old version of proB -## [0.1.0] +## 0.1.0 - added more sound auto compeltion - added WD cheks - added strict checks -## [0.1.1] +## 0.1.1 - fixed issue where path was semi hard coded -## [0.2.0] +## 0.2.0 - recognizes correct file ending (.mch; .def; .imp; .ref; .sys) - no longer activates extension on normal text documents -## [0.3.0] +## 0.3.0 - added option for performance feedback - implemented 'info' as feedback type -## [0.5.0] +## 0.5.0 - added syntax highlighting -## [0.5.1] +## 0.5.1 - minor fixes -## [0.5.2] +## 0.5.2 - media fixes -## [0.5.3] +## 0.5.3 - reworked error messages to be more managable -## [0.6.0] +## 0.6.0 - added snippets - improved error feedback for failing call to probcli @@ -69,53 +69,53 @@ - _error.json will now dumpend in a /tmp/ folder -## [1.0.0] +## 1.0.0 - switched to Java Server and will be able to access ProB Kernel library. - server has no debug option and output -## [1.0.1] +## 1.0.1 - debug mode is now disabled by default - debug console will now behave more reasonable behavior - updated server version to take care of windows and mac problems -## [1.1.1] +## 1.1.1 - fixed bug where problems from sub machines where shown in the main machine - added a opical feedback when an evaluation is finished - added .rmch file extensions (still pretty much a prototype regarding coloring) - added file icons to identify files which can be processed by this plugin, note that icon themes are exclusive, selecting the new theme will disable all other themes: https://github.com/microsoft/vscode/issues/14662 -## [1.1.2] +## 1.1.2 - fixed bug where for longer outputs from probcli the system would not return causing a deadlook -## [2.0.0] +## 2.0.0 - keyword support for new proB features: REAL, real, floor, ceiling - now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up -## [2.0.1] +## 2.0.1 - bug fix regarding completion - stability improvements -## [2.0.2] +## 2.0.2 - bug fixed that were introduced by not properly rebasing server branches - brought back notifcation when evaluation is done -## [2.0.4] +## 2.0.4 - dependencies updated -## [2.1.0] +## 2.1.0 - Updated to ProB 1.12.1 - Now requires VSCode 1.67 -- GitLab