- 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
