chore: bump @leanprover/infoview

leanprover · Oct 17, 2024 · 32036f9 · 32036f9
1 parent 9b346ab
commit 32036f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.6",
+    "version": "0.7.7",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",