Skip to content

Fixed some obvious issues in Emacs related files#1303

Merged
mn200 merged 1 commit intoHOL-Theorem-Prover:developfrom binghe:emacs.fixSep 23, 2024

Commits

Commits on Sep 19, 2024