From c8170d209ad7c36731faa5a77ae4a98aec109393 Mon Sep 17 00:00:00 2001 From: Wojciech Nawrocki Date: Sun, 12 Jan 2025 17:31:44 +0100 Subject: [PATCH] chore: bump infoview and infoview-api versions --- lean4-infoview-api/package.json | 2 +- lean4-infoview/package.json | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/lean4-infoview-api/package.json b/lean4-infoview-api/package.json index 87984dd7a..ee7de8d19 100644 --- a/lean4-infoview-api/package.json +++ b/lean4-infoview-api/package.json @@ -1,6 +1,6 @@ { "name": "@leanprover/infoview-api", - "version": "0.4.0", + "version": "0.5.0", "description": "Types and API for @leanprover/infoview.", "scripts": { "watch": "tsc --watch", diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json index 4c56a609a..b2e81df97 100644 --- a/lean4-infoview/package.json +++ b/lean4-infoview/package.json @@ -1,6 +1,6 @@ { "name": "@leanprover/infoview", - "version": "0.7.10", + "version": "0.8.0", "description": "An interactive display for the Lean 4 theorem prover.", "scripts": { "watch": "rollup --config --environment NODE_ENV:development --watch", @@ -10,11 +10,11 @@ }, "exports": { ".": { - "default": "./dist/index.production.min.js", + "default": "./dist/index.development.js", "types": "./dist/index.d.ts" }, "./loader": { - "default": "./dist/loader.production.min.js", + "default": "./dist/loader.development.js", "types": "./dist/loader.d.ts" }, "./package.json": "./package.json" @@ -49,7 +49,7 @@ "typescript": "^5.4.5" }, "dependencies": { - "@leanprover/infoview-api": "~0.4.0", + "@leanprover/infoview-api": "~0.5.0", "@vscode/codicons": "^0.0.32", "@vscode-elements/react-elements": "^0.5.0", "es-module-lexer": "^1.5.4",