DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore: Update doc-gen

Browse source
This commit is contained in:
jstoobysmith 2024-08-06 08:12:20 -04:00
parent cef7e574ca
commit 73e67b8d3d
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lakefile.toml
View file

@ -11,7 +11,7 @@ rev = "v4.11.0-rc1"
[[require]]
name = "«doc-gen4»"
git = "https://github.com/leanprover/doc-gen4"
rev = "v4.10.0"
rev = "v4.11.0-rc1"
[[lean_lib]]
name = "HepLean"