hhu-adam
diff --git a/Diff for: ‎demo/package-lock.json
+1-1 b/Diff for: ‎demo/package-lock.json
+1-1
diff --git a/Diff for: ‎package-lock.json
+2-2 b/Diff for: ‎package-lock.json
+2-2
diff --git a/Diff for: ‎package.json
+1-1 b/Diff for: ‎package.json
+1-1
@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.12",
+  "version": "1.0.13",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "lean4monaco",`
`3`		`- "version": "1.0.12",`
	`3`	`+ "version": "1.0.13",`
`4`	`4`	`"description": "Monaco Editor support for the Lean 4 theorem prover.",`
`5`	`5`	`"keywords": [`
`6`	`6`	`"lean",`