Changes in action.php

1a91113b0094ce6ce10091527b530187a60781d5 - Add SPDX license headers and update README/requirements

Fri, 28 Nov 2025 06:29:18 +0000

Add SPDX license headers and update README/requirements List of files: /plugin/mizarverifiabledocs/action.php

e813ba0eff7bb751c51a2fb3ab0a0028c280df1e - feat(exec,paths): support Windows .bat/.cmd and auto-resolve paths from htdocs

Fri, 12 Sep 2025 08:56:38 +0000

feat(exec,paths): support Windows .bat/.cmd and auto-resolve paths from htdocs List of files: /plugin/mizarverifiabledocs/action.php

3f7dd076be52992d1f40215ecd797f9d17132992 - Added parsing and visualization using python

Sat, 05 Jul 2025 09:32:15 +0000

Added parsing and visualization using python List of files: /plugin/mizarverifiabledocs/action.php

14f6cf5b8c7f685a15fa8c23f119ecc5a0265ef7 - Add no-cache HTTP headers and suppress unlink warnings

Wed, 09 Apr 2025 03:08:58 +0000

Add no-cache HTTP headers and suppress unlink warnings List of files: /plugin/mizarverifiabledocs/action.php

a16ae7e39715e520c140fc2a230df32c8ba81703 - Set MIZFILES environment variable in PHP to fix "mml.ini not found" error during Mizar compilation

Sat, 29 Mar 2025 08:40:44 +0000

Set MIZFILES environment variable in PHP to fix "mml.ini not found" error during Mizar compilation List of files: /plugin/mizarverifiabledocs/action.php

fcd231cde6b357b64711d8d52974edea8539d616 - Add "Reset All" button for resetting all Mizar editors

Fri, 10 Jan 2025 08:30:17 +0000

Add "Reset All" button for resetting all Mizar editors List of files: /plugin/mizarverifiabledocs/action.php

4f65af2c978c8b810c87fd11fcd551c84c6abad5 - Add "Hide All" button to toggle visibility of all Mizar blocks

Sat, 04 Jan 2025 08:44:42 +0000

Add "Hide All" button to toggle visibility of all Mizar blocks List of files: /plugin/mizarverifiabledocs/action.php

9d724a9f75ca73c1b02a611866c28205aaa9c2af - Add article display in new tab with .miz file download option

Sat, 30 Nov 2024 08:27:38 +0000

Add article display in new tab with .miz file download option- Implement functionality to open the full article text in a new tab- Provide a download link below the article to save it as a .miz file List of files: /plugin/mizarverifiabledocs/action.php

42c7ffb24cdd209535c3b7872e023bbee50ebc2e - Add filename validation and update syntax to omit file extension

Sat, 30 Nov 2024 03:30:50 +0000

Add filename validation and update syntax to omit file extension- Enforce that all tags within the same page have the same filename- Validate filenames to be up to 8 characters, consisting of letters, numbers, underscores (_), and apostrophes (')- Modify syntax so that users no longer need to include the file extension when specifying filenames in tags List of files: /plugin/mizarverifiabledocs/action.php

b68e37241baa51dc1a83300f58ba2507a52b9325 - Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

Thu, 28 Nov 2024 10:51:04 +0000

Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs" List of files: /plugin/mizarverifiabledocs/action.php

f9af214843e8c2b89a2d2da76eb37f51a5760446 - button name: mizf to Compile

Sat, 23 Nov 2024 08:09:08 +0000

button name: mizf to Compile List of files: /plugin/mizarverifiabledocs/action.php

a044403672ca6eb52211b997584091204a697419 - Blobと一時URLに変更

Fri, 25 Oct 2024 02:55:07 +0000

Blobと一時URLに変更 List of files: /plugin/mizarverifiabledocs/action.php

1174571d7425aed528e5d437d3cda6bc3e7d4075 - verifier error representation

Wed, 23 Oct 2024 07:37:01 +0000

verifier error representation List of files: /plugin/mizarverifiabledocs/action.php

4754b0a76a6bc23f6462b21189b836e85a2d37b9 - 再インストール

Sat, 19 Oct 2024 10:55:08 +0000

再インストール List of files: /plugin/mizarverifiabledocs/action.php

7001932976a3b8b91be29e02a28d78b322c18ec4 - test

Sat, 19 Oct 2024 04:05:03 +0000

test List of files: /plugin/mizarverifiabledocs/action.php

9fc5dc4b1674e92eafb48539fd7a855151fa369f - copy，mizファイル表示追加

Sat, 19 Oct 2024 02:42:59 +0000

copy，mizファイル表示追加 List of files: /plugin/mizarverifiabledocs/action.php

5cbf3a5300a651c7fd7958742a36e6290b0f78b2 - CSSファイル分離

Sat, 28 Sep 2024 04:28:11 +0000

CSSファイル分離 List of files: /plugin/mizarverifiabledocs/action.php

47595f9cd8561fbcdf3e998c36a8f1c1be7116a8 - clearボタン機能追加，一時ファイル名変更

Mon, 16 Sep 2024 09:56:56 +0000

clearボタン機能追加，一時ファイル名変更 List of files: /plugin/mizarverifiabledocs/action.php

6b7e227ce526b3ffe234cde59c47249d4e050425 - Initial commit

Fri, 13 Sep 2024 11:15:30 +0000

Initial commit List of files: /plugin/mizarverifiabledocs/action.php