lean4-htt/doc/dev
David Thrane Christiansen 85e7000666
doc: update release checklist based on experience with 4.7.0 (#3833)
@semorrison, does this include all the answers to the questions I asked
in our thread? I think so!

---------

Co-authored-by: Mac Malone <tydeu@hatpress.net>
2024-04-17 04:33:45 +00:00
..
bootstrap.md chore: update-stage0-commit cmake target (#3692) 2024-04-04 13:35:53 +00:00
commit_convention.md
debugging.md
ffi.md feat: thread initialization for reverse FFI (#3632) 2024-03-07 17:02:47 +00:00
index.md
mdbook.md
release_checklist.md doc: update release checklist based on experience with 4.7.0 (#3833) 2024-04-17 04:33:45 +00:00
testing.md