Releases: Kha/lean4
Releases · Kha/lean4
incr-tactic-v2
fix: disappearing messages from incremental reporting
v4.5.0-rc1-unused
disable tests
lake-incr-env-tag
perf: lake: build lakefile environment incrementally
vcustom-tokens
refactor: remove `TokenparserConfig.whitespaceFn` again It was used only in the rarely used `rawFn` parser
clear-defeq-cache-release
chore: defeq cache fixes
fix-prof-tag
fix: ignored `time_task` blocks
v4.0.0-m3
fooo
v4.0.0-bundle-rc
chore: remove LICENSE header that confused GitHub
LLVM Linux bundle RC
bundle-llvm-linux-rc chore: append licenses of LLVM & glibc
v4.0.0-M1
chore: nightly releases