chore: update toolchain, mathlib, and add doc-gen4

lake-manifest.json

@@ -1,51 +1,84 @@
-{"version": 5,
+{"version": 6,
  "packagesDir": "lake-packages",
  "packages":
  [{"git":
-   {"url": "https://github.com/EdAyers/ProofWidgets4",
-    "subDir?": null,
-    "rev": "a0c2cd0ac3245a0dade4f925bcfa97e06dd84229",
-    "opts": {},
-    "name": "proofwidgets",
-    "inputRev?": "v0.0.13",
-    "inherited": true}},
-  {"git":
-   {"url": "https://github.com/mhuisi/lean4-cli.git",
+   {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "5a858c32963b6b19be0d477a30a1f4b6c120be7e",
+    "rev": "ab2d44e7027b663104d3c088084c7adcbf8f2150",
     "opts": {},
-    "name": "Cli",
-    "inputRev?": "nightly",
-    "inherited": true}},
+    "name": "mathlib",
+    "inputRev?": "ab2d44e7027b663104d3c088084c7adcbf8f2150",
+    "inherited": false}},
   {"git":
-   {"url": "https://github.com/leanprover-community/mathlib4",
+   {"url": "https://github.com/leanprover/doc-gen4",
     "subDir?": null,
-    "rev": "c35ba47375c4f80f3ba26a7301b17eadfac2562c",
+    "rev": "f9d987567129f422ebd8cfac6a1e6233a06c720b",
     "opts": {},
-    "name": "mathlib",
-    "inputRev?": "c35ba47375c4f80f3ba26a7301b17eadfac2562c",
+    "name": "«doc-gen4»",
+    "inputRev?": "main",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
-    "rev": "81cc13c524a68d0072561dbac276cd61b65872a6",
+    "rev": "a387c0eb611857e2460cf97a8e861c944286e6b2",
     "opts": {},
     "name": "Qq",
     "inputRev?": "master",
     "inherited": true}},
   {"git":
    {"url": "https://github.com/JLimperg/aesop",
     "subDir?": null,
-    "rev": "086c98bb129ca856381d4414dc0afd6e3e4ae2ef",
+    "rev": "41c6370eb2f0c9052bee6af0e0a017b9ba8da2b8",
     "opts": {},
     "name": "aesop",
     "inputRev?": "master",
     "inherited": true}},
+  {"git":
+   {"url": "https://github.com/mhuisi/lean4-cli.git",
+    "subDir?": null,
+    "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
+    "opts": {},
+    "name": "Cli",
+    "inputRev?": "nightly",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/EdAyers/ProofWidgets4",
+    "subDir?": null,
+    "rev": "27715d1daf32b9657dc38cd52172d77b19bde4ba",
+    "opts": {},
+    "name": "proofwidgets",
+    "inputRev?": "v0.0.18",
+    "inherited": true}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "b5f7bd40d2162fe148e585543f284a5d8cc0ef26",
+    "rev": "a093d7a6ac721071d8ba3774b0318063928cd3e2",
     "opts": {},
     "name": "std",
     "inputRev?": "main",
-    "inherited": true}}]}
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/xubaiw/CMark.lean",
+    "subDir?": null,
+    "rev": "0077cbbaa92abf855fc1c0413e158ffd8195ec77",
+    "opts": {},
+    "name": "CMark",
+    "inputRev?": "main",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+    "subDir?": null,
+    "rev": "f09250282cea3ed8c010f430264d9e8e50d7bc32",
+    "opts": {},
+    "name": "«lean4-unicode-basic»",
+    "inputRev?": "main",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/hargonix/LeanInk",
+    "subDir?": null,
+    "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
+    "opts": {},
+    "name": "leanInk",
+    "inputRev?": "doc-gen",
+    "inherited": true}}],
+ "name": "CvxLean"}

lakefile.lean

@@ -1,11 +1,14 @@
 import Lake
 open System Lake DSL
 
-package CvxLean
-
 require mathlib from git
   "https://github.com/leanprover-community/mathlib4" @ 
-  "c35ba47375c4f80f3ba26a7301b17eadfac2562c"
+  "ab2d44e7027b663104d3c088084c7adcbf8f2150"
+
+-- meta if get_config? env = some "dev" then
+require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "main"
+
+package CvxLean
 
 @[default_target]
 lean_lib CvxLeanTest

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:nightly-2023-08-23
+leanprover/lean4:v4.2.0-rc1