Kim Morrison 208ff3e2b3 feat: upgrades to release_checklist.py script (#8192) ... This PR includes upgrades to the `release_checklist.py` script prepared while releasing v4.20.0-rc1.		2025-05-05 09:03:57 +00:00
..
bin
dev	feat: upgrades to release_checklist.py script (#8192)	2025-05-05 09:03:57 +00:00
examples	chore: simp_arith has been deprecated (#7043)	2025-02-12 03:55:45 +00:00
images
latex
make	fix: indicate dependency on pkgconf in ubuntu docs (#6646)	2025-01-15 05:30:20 +00:00
std	chore: complete variable name linting for Vector (#7154)	2025-02-20 02:42:50 +00:00
.gitignore
alectryon.css
alectryon.js
book.toml	chore: update documentation title and link README to reference (#6409)	2024-12-17 22:18:56 +00:00
bool.md
BoolExpr.lean
declarations.md	chore: post-#7100 cleanup (#7196)	2025-02-23 22:46:22 +00:00
definitions.md
dep.md
deptypes.md
examples.md
expressions.md
faq.md
flake.lock
flake.nix	chore: remove old language manual (#6401)	2024-12-16 14:37:16 +00:00
fplean.md
funabst.md
highlight.js
introdef.md
lean3changes.md
lexical_structure.md	doc: mention subscript j in the lexical structure (#6738)	2025-01-22 09:10:31 +00:00
metaprogramming-arith.lean
metaprogramming-arith.md
mission.md
other_commands.md
perf.md
pygments.css
quickstart.md
reference.md	chore: remove old language manual (#6401)	2024-12-16 14:37:16 +00:00
semantic_highlighting.md
setup.md	doc: add Windows Server 2025 to the list of supported platforms (#7693)	2025-03-27 09:09:28 +00:00
simptypes.md
style.md	doc: add documentation style guide (#8199)	2025-05-02 13:05:18 +00:00
SUMMARY.md	chore: remove old language manual (#6401)	2024-12-16 14:37:16 +00:00
syntax_example.lean
syntax_example.md
syntax_examples.md
syntax_highlight_in_latex.md
tactics.md
tour.md
tpil.md
typeobjs.md
types.md
using_lean.md
whatIsLean.md