History log of /plugin/mizarverifiabledocs/src/mizar.grammar (Results 1 – 2 of 2)
Revision Date Author Comments
# 8ead5b40 22-Dec-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Enhance folding functionality with `proof ... end` support,


# e78fd15d 14-Nov-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP