Changes in syntax.php en Copyright 2025 Java 1a91113b0094ce6ce10091527b530187a60781d5 - Add SPDX license headers and update README/requirements http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#1a91113b0094ce6ce10091527b530187a60781d5 Add SPDX license headers and update README/requirements List of files: /plugin/mizarverifiabledocs/syntax.php Fri, 28 Nov 2025 06:29:18 +0000 Yamada, M. <104548654+YamadaMiz@users.noreply.github.com> 3f7dd076be52992d1f40215ecd797f9d17132992 - Added parsing and visualization using python http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#3f7dd076be52992d1f40215ecd797f9d17132992 Added parsing and visualization using python List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 05 Jul 2025 09:32:15 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 08219f341dabf1f0ff9a8028f83ce4950de12e52 - Add numbering to each editor on the page http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#08219f341dabf1f0ff9a8028f83ce4950de12e52 Add numbering to each editor on the page List of files: /plugin/mizarverifiabledocs/syntax.php Wed, 15 Jan 2025 12:30:10 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 4f65af2c978c8b810c87fd11fcd551c84c6abad5 - Add "Hide All" button to toggle visibility of all Mizar blocks http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#4f65af2c978c8b810c87fd11fcd551c84c6abad5 Add "Hide All" button to toggle visibility of all Mizar blocks List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 04 Jan 2025 08:44:42 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 668cface9ec8018656ab3e4d58117cffa05fadc1 - The Hide/Show button allows you to collapse and expand the editor and its buttons http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#668cface9ec8018656ab3e4d58117cffa05fadc1 The Hide/Show button allows you to collapse and expand the editor and its buttons List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 28 Dec 2024 02:45:57 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> b68e37241baa51dc1a83300f58ba2507a52b9325 - Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs" http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#b68e37241baa51dc1a83300f58ba2507a52b9325 Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs" List of files: /plugin/mizarverifiabledocs/syntax.php Thu, 28 Nov 2024 10:51:04 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> f9af214843e8c2b89a2d2da76eb37f51a5760446 - button name: mizf to Compile http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#f9af214843e8c2b89a2d2da76eb37f51a5760446 button name: mizf to Compile List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 23 Nov 2024 08:09:08 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 4754b0a76a6bc23f6462b21189b836e85a2d37b9 - 再インストール http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#4754b0a76a6bc23f6462b21189b836e85a2d37b9 再インストール List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 19 Oct 2024 10:55:08 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 7001932976a3b8b91be29e02a28d78b322c18ec4 - test http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#7001932976a3b8b91be29e02a28d78b322c18ec4 test List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 19 Oct 2024 04:05:03 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 9fc5dc4b1674e92eafb48539fd7a855151fa369f - copy，mizファイル表示追加 http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#9fc5dc4b1674e92eafb48539fd7a855151fa369f copy，mizファイル表示追加 List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 19 Oct 2024 02:42:59 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 5cbf3a5300a651c7fd7958742a36e6290b0f78b2 - CSSファイル分離 http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#5cbf3a5300a651c7fd7958742a36e6290b0f78b2 CSSファイル分離 List of files: /plugin/mizarverifiabledocs/syntax.php Sat, 28 Sep 2024 04:28:11 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 6b7e227ce526b3ffe234cde59c47249d4e050425 - Initial commit http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/syntax.php#6b7e227ce526b3ffe234cde59c47249d4e050425 Initial commit List of files: /plugin/mizarverifiabledocs/syntax.php Fri, 13 Sep 2024 11:15:30 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>