r
/
bookshelf
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update bookshelf-docgen reference.

finite-set-exercises
Joshua Potter 2023-05-04 14:06:55 -06:00
parent 4790499921
commit 4da324856d
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lake-manifest.json
View File

@ -16,9 +16,9 @@
{"git":
{"url": "https://github.com/jrpotter/bookshelf-docgen.git",
"subDir?": null,
"rev": "3facb4b93ec5b9227b013287de8c837912e814ef",
"rev": "1de3481afd987d6b6dbd76245ed3c3eba1d6e680",
"name": "doc-gen4",
"inputRev?": "3facb4b93ec5b9227b013287de8c837912e814ef"}},
"inputRev?": "1de3481afd987d6b6dbd76245ed3c3eba1d6e680"}},
{"git":
{"url": "https://github.com/mhuisi/lean4-cli",
"subDir?": null,

2
lakefile.lean
View File

@ -12,7 +12,7 @@ require std4 from git
"6006307d2ceb8743fea7e00ba0036af8654d0347"
require «doc-gen4» from git
"https://github.com/jrpotter/bookshelf-docgen.git" @
"3facb4b93ec5b9227b013287de8c837912e814ef"
"1de3481afd987d6b6dbd76245ed3c3eba1d6e680"
@[default_target]
lean_lib «Bookshelf» {