Skip to content

Fix the compatibility problems proof found - #1

Merged
bbatsov merged 6 commits into
mainfrom
proof-fixes
Oct 23, 2026
Merged

bbatsov merged 6 commits into
mainfrom
proof-fixes

Don't fail load-file on a file without any code

86dcdb7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
chaser (26)
succeeded Oct 2, 2026 in 43s