Changes in default.php en Copyright 2025 Java 3f7dd076be52992d1f40215ecd797f9d17132992 - Added parsing and visualization using python http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/conf/default.php#3f7dd076be52992d1f40215ecd797f9d17132992 Added parsing and visualization using python List of files: /plugin/mizarverifiabledocs/conf/default.php Sat, 05 Jul 2025 09:32:15 +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/conf/default.php#b68e37241baa51dc1a83300f58ba2507a52b9325 Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs" List of files: /plugin/mizarverifiabledocs/conf/default.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/conf/default.php#f9af214843e8c2b89a2d2da76eb37f51a5760446 button name: mizf to Compile List of files: /plugin/mizarverifiabledocs/conf/default.php Sat, 23 Nov 2024 08:09:08 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 47595f9cd8561fbcdf3e998c36a8f1c1be7116a8 - clearボタン機能追加，一時ファイル名変更 http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/conf/default.php#47595f9cd8561fbcdf3e998c36a8f1c1be7116a8 clearボタン機能追加，一時ファイル名変更 List of files: /plugin/mizarverifiabledocs/conf/default.php Mon, 16 Sep 2024 09:56:56 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> 6b7e227ce526b3ffe234cde59c47249d4e050425 - Initial commit http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/conf/default.php#6b7e227ce526b3ffe234cde59c47249d4e050425 Initial commit List of files: /plugin/mizarverifiabledocs/conf/default.php Fri, 13 Sep 2024 11:15:30 +0000 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>