From ec2743a22694f0544941872fe3cd591cc7c609fa Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Wed, 7 Aug 2024 16:43:00 +0200 Subject: [PATCH] 1.0.18 --- 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 b8ce987..dcc1dfc 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lean4monaco", - "version": "1.0.17", + "version": "1.0.18", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "lean4monaco", - "version": "1.0.17", + "version": "1.0.18", "license": "Apache-2.0", "dependencies": { "@leanprover/infoview": "=0.7.0", diff --git a/package.json b/package.json index b1c96a1..25a36f9 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "lean4monaco", - "version": "1.0.17", + "version": "1.0.18", "description": "Monaco Editor support for the Lean 4 theorem prover.", "keywords": [ "lean",