Exact

Exact Union RegExp

Henrik Böving 9533f3f5ac doc: how to LLVM upgrade (#13656) ... This PR documents how to perform an LLVM upgrade.		2026-05-06 10:03:53 +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	chore: migrate pkg tests (#12889)	2026-03-11 18:55:46 +00:00
llvm_upgrade.md	doc: how to LLVM upgrade (#13656)	2026-05-06 10:03:53 +00:00
release.md	chore: update release tooling and docs (#13631)	2026-05-04 15:33:36 +00:00