chore: bump infoview versions (#649)

Author: mhuisi

lean4-infoview-api/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview-api",
-    "version": "0.7.0",
+    "version": "0.8.0",
     "description": "Types and API for @leanprover/infoview.",
     "scripts": {
         "watch": "tsc --watch",

lean4-infoview/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.8.5",
+    "version": "0.8.6",
     "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.7.0",
+        "@leanprover/infoview-api": "~0.8.0",
         "@vscode/codicons": "^0.0.32",
         "@vscode-elements/react-elements": "^0.5.0",
         "es-module-lexer": "^1.5.4",

package-lock.json

@@ -1707,8 +1707,8 @@
         "test": "node ./out/test/suite/runTest.js"
     },
     "dependencies": {
-        "@leanprover/infoview": "~0.8.5",
-        "@leanprover/infoview-api": "~0.7.0",
+        "@leanprover/infoview": "~0.8.6",
+        "@leanprover/infoview-api": "~0.8.0",
         "@leanprover/unicode-input": "~0.1.5",
         "@leanprover/unicode-input-component": "~0.1.5",
         "@vscode/codicons": "^0.0.36",