1.0.32

hhu-adam · Aug 25, 2024 · 7df9f0c · 7df9f0c
1 parent c4d825e
commit 7df9f0c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.31",
+  "version": "1.0.32",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",