From 2ec46113098a5cc77a71f8686a3ff012eb28790c Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Mon, 8 May 2023 12:10:15 -0600
Subject: [PATCH] Update Lean nightly.

---
 lake-manifest.json | 6 +++---
 lakefile.lean      | 2 +-
 lean-toolchain     | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 2339754..1bf0f30 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -16,9 +16,9 @@
   {"git":
    {"url": "https://github.com/jrpotter/bookshelf-docgen.git",
     "subDir?": null,
-    "rev": "dee1ea599fd459db8f40201a32338c606b1944e8",
+    "rev": "93aa96a2b6318d78cc505e45f6538d507ce0834c",
     "name": "doc-gen4",
-    "inputRev?": "dee1ea599fd459db8f40201a32338c606b1944e8"}},
+    "inputRev?": "93aa96a2b6318d78cc505e45f6538d507ce0834c"}},
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli",
     "subDir?": null,
@@ -52,7 +52,7 @@
   {"git":
    {"url": "https://github.com/fgdorais/lean4-unicode-basic",
     "subDir?": null,
-    "rev": "be1f061688faa1dbb224773c54901661253fb4b8",
+    "rev": "ce508dcd1fd49ba15675861aafd864572a0b8252",
     "name": "UnicodeBasic",
     "inputRev?": "main"}},
   {"git":
diff --git a/lakefile.lean b/lakefile.lean
index 9a02604..5db4891 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ require std4 from git
     "6006307d2ceb8743fea7e00ba0036af8654d0347"
 require «doc-gen4» from git
   "https://github.com/jrpotter/bookshelf-docgen.git" @
-    "dee1ea599fd459db8f40201a32338c606b1944e8"
+    "93aa96a2b6318d78cc505e45f6538d507ce0834c"
 
 @[default_target]
 lean_lib «Bookshelf» {
diff --git a/lean-toolchain b/lean-toolchain
index 03ae79e..a7041bc 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-04-20
+leanprover/lean4:nightly-2023-05-06