CHANGELOG.md

Change Log

[0.0.1]

• first prototype version

[0.0.2]

• option to add cutom path

[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]

• added more sound auto compeltion
• added WD cheks
• added strict checks

[0.1.1]

• fixed issue where path was semi hard coded

[0.2.0]

• recognizes correct file ending (.mch; .def; .imp; .ref; .sys)
• no longer activates extension on normal text documents

[0.3.0]

• added option for performance feedback
• implemented 'info' as feedback type

[0.5.0]

• added syntax highlighting

[0.5.1]

• minor fixes

[0.5.2]

• media fixes

[0.5.3]

• reworked error messages to be more managable

[0.6.0]

• added snippets
• improved error feedback for failing call to probcli
• improved error feedback for wrong format of the _error.json file
• _error.json will now dumpend in a /tmp/ folder

[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]

• 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]

• 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