Release 0.0.128

leanprover · Feb 17, 2024 · 9434a06 · 9434a06
1 parent cd0968f
commit 9434a06
Show file tree

Hide file tree

Showing 4 changed files with 716 additions and 538 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.4",
+  "version": "0.4.5",
   "description": "An interactive display for the Lean 4 theorem prover.",
   "scripts": {
     "watch": "rollup --config --environment NODE_ENV:development --watch",