update lean4monaco

Author: abentkamp

Projects/MathlibDemo/lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "81295dfbd8dc35fc1d1f399b7b61dd6cf6e05cb2",
+   "rev": "8b578dd922c8cbe52282cb2da4762611d16f5bc1",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -15,17 +15,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "4dfba8b20a5ce570b9ef8bae969dd163782f9793",
+   "rev": "1603151ac0db4e822908e18094f16acc250acaff",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/LeanSearchClient",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "8d29bc2c3ebe1f863c2f02df816b4f3dd1b65226",
+   "rev": "6c62474116f525d2814f0157bb468bf3a4f9f120",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "c20832d6f0b3186a97ea9361cec0a5b87dd152a3",
+   "rev": "e25fe66cf13e902ba550533ef681cc35a9f18dc2",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -45,17 +45,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ea953247aac573c9b5adea60bacd3e085f58aca4",
+   "rev": "6980f6ca164de593cb77cd03d8eac549cc444156",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.56",
+   "inputRev": "v0.0.62",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "57185dfad68d78356f9462af984882d6f262aa5d",
+   "rev": "c3a19fa17982c5c1413fea335f371869b8b12e1d",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "aa4c87abed970d9dfad2506000d99d30b02f476b",
+   "rev": "e1d2994e0acdee2f0c03c9d84d28a5df34aa0020",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,17 +75,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "c509e875522185203ad651695f27ab05a0109158",
+   "rev": "ef9acd3acba42efed1162b7e9112e668c09916aa",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover/lean4-cli",
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "aff4176e5c41737a0d73be74ad9feb6a889bfa98",
+   "rev": "a0abd472348dd725adbb26732e79b26e7e220913",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

Projects/MathlibDemo/lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.19.0-rc2
+leanprover/lean4:v4.21.0-rc3

package-lock.json

@@ -38,7 +38,7 @@
     "express": "^4.21.2",
     "file-saver": "^2.0.5",
     "ip-anonymize": "^0.1.0",
-    "lean4monaco": "^1.0.42",
+    "lean4monaco": "^1.1.1",
     "lz-string": "^1.5.0",
     "memfs": "^4.11.1",
     "nocache": "^4.0.0",