max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/doc/make
History
Exact
Sebastian Ullrich d5bcec28e5
chore: adjust dev-release preset (#13741) 
Use same output directory as `release` to avoid
lean-toolchain/CLAUDE.md/... issues, rename preset accordingly
2026-05-16 05:32:16 +00:00
..
emscripten.md doc: add wsl setup docs and reorganize a new "dev" folder 2021-09-23 09:21:39 +02:00
index.md chore: adjust dev-release preset (#13741) 2026-05-16 05:32:16 +00:00
msys2.md feat: compile against Windows SDK headers under Windows (#5753) 2024-10-22 13:00:02 +00:00
osx-10.9.md doc: freshen up Mac OSX build instructions (#9618) 2025-07-29 21:42:24 +00:00
ubuntu.md fix: indicate dependency on pkgconf in ubuntu docs (#6646) 2025-01-15 05:30:20 +00:00
wsl.md chore: CRLF be gone 2021-11-09 09:49:09 +01:00