Merge pull request #1985 from GaloisInc/prepare-vscode-release

Prepare release 0.1.3 of the VSCode extension.

Author: aschwerdfeger-galois

language-server/README

@@ -1,12 +1,12 @@
 This extension provides language support for Cryptol specifications.
 
-The extension relies on a language server which needs to be installed
+The extension relies on a language server, which needs to be installed
 separately.
 
 Packaging and Installing the VSCode Client
 ==========================================
 
-The source code for teh client is in the `client` subdirectory.
+The source code for the client is in the `client` subdirectory.
 You'll need `node` already installed.
 
 Install dependencies:
@@ -20,7 +20,8 @@ Build a VSCode package:
 
     client> npm run package
 
-If everything went OK you should see a file called `cryptol-0.0.1.vsix`
+If everything went OK you should see a file called
+`cryptol-language-server-`X.Y.Z`.vsix`.
 
 To install the extension in VSCode, open the extensions tab, and from
 the menu (three little dots) select "Install from VSIX".  Once the extension
@@ -46,8 +47,8 @@ You'll need to provide your personal access token when asked.
 Installing the Language Server
 ==============================
 
-To build the server run the `./build` script.  If successful, there
-should be a bonary called `cryptol-language-server` in a `bin` subdirectory.
-The location of the server in VSCode should point to this binary.
-
+The `cryptol-language-server` binary is included in the Cryptol
+release distribution, and may also be built locally by running
+the `./build` script, which deposits the binary into the `bin`
+subdirectory.
 

language-server/client/CHANGELOG.md

@@ -1,3 +1,7 @@
+# Version 0.1.3
+
+Update dependencies to more recent versions.
+
 # Version 0.1.2
 
 Update dependencies to more recent versions.

language-server/client/README.md

@@ -5,9 +5,9 @@
 This extension provides support for working with [Cryptol](https://cryptol.net).
 To use the extension you'll need a pre-installed `cryptol-language-server`.
 
-The exteions supports:
+The extension supports:
 
   * Syntax highlighting
   * View documentation when hovering over an identify
   * Go to definition
-  * Show type information for identifiers and numeric literal
+  * Show type information for identifiers and numeric literals

language-server/client/package-lock.json

@@ -4,7 +4,7 @@
   "description": "Language support for Cryptol",
   "icon": "images/icon.png",
   "publisher": "GaloisInc",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "engines": {
     "vscode": "^1.100.2"
   },