From e534bbf4a328f8205feeb3cea2f2c1f4ea2a79f7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 27 May 2026 09:41:25 +0000 Subject: [PATCH] chore: bump @leanprover/unicode-input to 0.1.11 --- lean4-unicode-input-component/package.json | 4 ++-- lean4-unicode-input/package.json | 2 +- package-lock.json | 14 +++++++------- vscode-lean4/package.json | 4 ++-- 4 files changed, 12 insertions(+), 12 deletions(-) diff --git a/lean4-unicode-input-component/package.json b/lean4-unicode-input-component/package.json index 78e869ce..5dc6beb1 100644 --- a/lean4-unicode-input-component/package.json +++ b/lean4-unicode-input-component/package.json @@ -1,6 +1,6 @@ { "name": "@leanprover/unicode-input-component", - "version": "0.2.1", + "version": "0.2.2", "description": "Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover", "repository": { "type": "git", @@ -19,7 +19,7 @@ ], "license": "Apache-2.0", "dependencies": { - "@leanprover/unicode-input": "^0.1.10" + "@leanprover/unicode-input": "^0.1.11" }, "devDependencies": { "typescript": "^5.4.5" diff --git a/lean4-unicode-input/package.json b/lean4-unicode-input/package.json index 1fa36487..1414731c 100644 --- a/lean4-unicode-input/package.json +++ b/lean4-unicode-input/package.json @@ -1,6 +1,6 @@ { "name": "@leanprover/unicode-input", - "version": "0.1.10", + "version": "0.1.11", "description": "Unicode input mechanism for the Lean 4 theorem prover", "repository": { "type": "git", diff --git a/package-lock.json b/package-lock.json index 64f15f29..737a3f6a 100644 --- a/package-lock.json +++ b/package-lock.json @@ -77,7 +77,7 @@ }, "lean4-unicode-input": { "name": "@leanprover/unicode-input", - "version": "0.1.10", + "version": "0.1.11", "license": "Apache-2.0", "devDependencies": { "typescript": "^5.4.5" @@ -85,10 +85,10 @@ }, "lean4-unicode-input-component": { "name": "@leanprover/unicode-input-component", - "version": "0.2.1", + "version": "0.2.2", "license": "Apache-2.0", "dependencies": { - "@leanprover/unicode-input": "^0.1.10" + "@leanprover/unicode-input": "^0.1.11" }, "devDependencies": { "typescript": "^5.4.5" @@ -16202,19 +16202,19 @@ }, "vscode-lean4": { "name": "lean4", - "version": "0.0.234", + "version": "0.0.236", "license": "Apache-2.0", "dependencies": { "@leanprover/infoview": "~0.13.0", "@leanprover/infoview-api": "~0.13.0", - "@leanprover/unicode-input": "~0.1.10", - "@leanprover/unicode-input-component": "~0.2.1", + "@leanprover/unicode-input": "~0.1.11", + "@leanprover/unicode-input-component": "~0.2.2", "@vscode-elements/elements": "^1.7.1", "@vscode/codicons": "^0.0.36", "markdown-it": "^14.1.0", "markdown-it-anchor": "^9.0.1", "semver": "^7.6.0", - "vscode-languageclient": "^9.0.1", + "vscode-languageclient": "9.0.1", "zod": "^3.22.4" }, "devDependencies": { diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json index 2d25355c..bff90e35 100644 --- a/vscode-lean4/package.json +++ b/vscode-lean4/package.json @@ -1856,8 +1856,8 @@ "dependencies": { "@leanprover/infoview": "~0.13.0", "@leanprover/infoview-api": "~0.13.0", - "@leanprover/unicode-input": "~0.1.10", - "@leanprover/unicode-input-component": "~0.2.1", + "@leanprover/unicode-input": "~0.1.11", + "@leanprover/unicode-input-component": "~0.2.2", "@vscode/codicons": "^0.0.36", "@vscode-elements/elements": "^1.7.1", "markdown-it": "^14.1.0",