From 3829bb0e22fc6b3506af20d2fa921fa0290b4062 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Sun, 16 Aug 2020 14:02:57 +0200 Subject: [PATCH] spelling fixes --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 7b1e0ad..0666ce2 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ## Requirements - Latest nightly build of ProB. -- Java v.8 or higher. By default java home is considerd to be accesseble by 'java' in terminal/powershell +- Java v.8 or higher. By default java home is considerd to be accessible by 'java' in terminal/powershell ## Extension Settings @@ -19,9 +19,9 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t This extension contributes the following settings: * `languageServer.probHome`: to set the path to ProB -* `languageServer.wdChecks`: to enable/disable WD (Well-Definedness) Checks. Make sure to enable/disable for the current workspace too. -* `languageServer.strictChecks`: to enable/disable stricter Checks. Make sure to enable/disable for the current workspace too. -* `languageServer.performanceHints`: to enable/disable performance-related Hints. Make sure to enable/disable for the current workspace too. +* `languageServer.wdChecks`: to enable/disable WD (Well-Definedness) Checks. +* `languageServer.strictChecks`: to enable/disable stricter Checks. +* `languageServer.performanceHints`: to enable/disable performance-related Hints. * `languageServer.debugMode`: to enable/disable the server log To ensure expected behavior deactivate/activate settings in the User and Worksapce Tab. @@ -43,5 +43,5 @@ The language server can be found here https://github.com/SeeBasTStick/b-language ### 1.0.1 - debug mode is now disabled by default -- debug console will now behave more reasonable behavior +- debug console will now behave more reasonable - updated server version to take care of windows and mac problems; server will now use process builder and handle process output properly \ No newline at end of file -- GitLab