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

Added parsing and visualization using python

Add no-cache HTTP headers and suppress unlink warnings

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

Add "Reset All" button for resetting all Mizar editors

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

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 fi

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

show more ...

Add filename validation and update syntax to omit file extension

- Enforce that all <mizar> tags within the same page have the same filename
- Validate filenames to be up to 8 characters, consisting

Add filename validation and update syntax to omit file extension

- Enforce that all <mizar> 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 <mizar> tags

show more ...

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

button name: mizf to Compile

Blobと一時URLに変更

verifier error representation

再インストール

test

copy，mizファイル表示追加

CSSファイル分離

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

Initial commit