From 8ecd2408d5a802624f37cb7ad710de9a86c84fee Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Wed, 3 Apr 2024 14:08:22 -0700 Subject: [PATCH] 0.8.0 --- package-lock.json | 4 ++-- package.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package-lock.json b/package-lock.json index 54dc687..2efb33b 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "fstar-vscode-assistant", - "version": "0.7.2", + "version": "0.8.0", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "fstar-vscode-assistant", - "version": "0.7.2", + "version": "0.8.0", "hasInstallScript": true, "license": "MIT", "dependencies": { diff --git a/package.json b/package.json index afc21ab..3fcd8ee 100644 --- a/package.json +++ b/package.json @@ -3,7 +3,7 @@ "description": "An interactive editing mode for F*", "author": "Microsoft Corporation", "license": "MIT", - "version": "0.7.2", + "version": "0.8.0", "repository": { "type": "git", "url": "https://github.com/FStarLang/fstar-vscode-assistant"