Markus Himmel c157ddda11 fix: do not link statically against pthread/dl/rt (#5966)		2024-11-05 18:20:42 +00:00
..
lib	chore: fix spelling mistakes in non-Lean files (#5430)	2024-09-23 21:11:20 +00:00
apply.lean
collideProfiles.lean
diff_changelogs.py
gen_constants_cpp.py
gen_tokens_cpp.py
issues_summary.sh
patch.sh
prepare-llvm-linux.sh	fix: do not link statically against pthread/dl/rt (#5966)	2024-11-05 18:20:42 +00:00
prepare-llvm-macos.sh
prepare-llvm-mingw.sh	feat: compile against Windows SDK headers under Windows (#5753)	2024-10-22 13:00:02 +00:00
rebase-stage0.sh
reformat.lean