Skip to content

Fix #757 indentation of "\in"#789

Open
Matafou wants to merge 1 commit intoProofGeneral:masterfrom Matafou:fix-indent-backslashid
+54-4

Commits

Commits on Sep 11, 2024