bump @leanprover/infoview

leanprover · Dec 7, 2023 · 310111e · 310111e
1 parent 063edd1
commit 310111e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lean4-infoview/package-lock.json b/lean4-infoview/package-lock.json
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@leanprover/infoview",
-  "version": "0.4.3",
+  "version": "0.4.4",
   "description": "An interactive display for the Lean 4 theorem prover.",
   "scripts": {
     "watch": "rollup --config --environment NODE_ENV:development --watch",