From 52d55e46b91cf912e63d4774ae3b36447b263dfe Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Wed, 8 Jan 2025 14:37:46 +0100 Subject: [PATCH] chore: bump infoview minor version --- lean4-infoview/package.json | 2 +- package-lock.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json index ce23e4f8..4c56a609 100644 --- a/lean4-infoview/package.json +++ b/lean4-infoview/package.json @@ -1,6 +1,6 @@ { "name": "@leanprover/infoview", - "version": "0.7.9", + "version": "0.7.10", "description": "An interactive display for the Lean 4 theorem prover.", "scripts": { "watch": "rollup --config --environment NODE_ENV:development --watch", diff --git a/package-lock.json b/package-lock.json index 62a2ac3c..ac2c7bac 100644 --- a/package-lock.json +++ b/package-lock.json @@ -28,7 +28,7 @@ }, "lean4-infoview": { "name": "@leanprover/infoview", - "version": "0.7.9", + "version": "0.7.10", "license": "Apache-2.0", "dependencies": { "@leanprover/infoview-api": "~0.4.0",