chore: bump infoview and infoview-api versions

leanprover · Jan 12, 2025 · 9b6d25d · 9b6d25d
1 parent 7725ba0
commit 9b6d25d
Show file tree

Hide file tree

Showing 4 changed files with 25 additions and 11 deletions.
diff --git 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
@@ -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",
@@ -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",

diff --git a/package-lock.json b/package-lock.json
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
@@ -1069,8 +1069,8 @@
         "test": "node ./out/test/suite/runTest.js"
     },
     "dependencies": {
-        "@leanprover/infoview": "~0.7.0",
-        "@leanprover/infoview-api": "~0.4.0",
+        "@leanprover/infoview": "~0.8.0",
+        "@leanprover/infoview-api": "~0.5.0",
         "@leanprover/unicode-input": "~0.1.0",
         "@leanprover/unicode-input-component": "~0.1.0",
         "@vscode/codicons": "^0.0.36",