Changes in mizar.grammar en Copyright 2025 Java 8ead5b40c5012d5be54ad0f60e762955eca45eec - Enhance folding functionality with `proof ... end` support, http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/src/mizar.grammar#8ead5b40c5012d5be54ad0f60e762955eca45eec Enhance folding functionality with `proof ... end` support, List of files: /plugin/mizarverifiabledocs/src/mizar.grammar Sun, 22 Dec 2024 08:41:07 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> e78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd - Fix line endings normalization in .gitattributes http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/src/mizar.grammar#e78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Fix line endings normalization in .gitattributes- Enforces LF line endings across all files to avoid CRLF conflicts- Excludes unnecessary development files from release ZIP List of files: /plugin/mizarverifiabledocs/src/mizar.grammar Thu, 14 Nov 2024 00:17:01 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>