crStiv 80257a6901 doc: fix typos (#12418) ... Nothing fancy, just fixed some typos of different importance		2026-02-10 19:26:49 +00:00
..
bootstrap.md	doc: fix typos (#12418)	2026-02-10 19:26:49 +00:00
commit_convention.md	doc: commit conventions and Mathlib CI (#6605)	2025-01-13 02:29:46 +00:00
debugging.md	doc: stderrAsMessages is now the default on the cmdline as well (#4955)	2024-08-08 10:28:22 +00:00
ffi.md	doc: replace ffi.md with links to the reference manual (#11737)	2025-12-19 07:23:06 +00:00
index.md	doc: testing Lean while avoiding rebuilds for downstream projects (#10328)	2025-09-10 13:53:34 +00:00
release_checklist.md	doc: fix typos (#12418)	2026-02-10 19:26:49 +00:00
testing.md	doc: note that tests/lean/run disables linters (#11595)	2025-12-11 01:33:07 +00:00