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

Update plugin.info.txt date

Update plugin.info.txt date

Added parsing and visualization using python

feat: add loading spinner to miz2prel button on source edit screen

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

Fix indentation logic for Proof and related nodes

Add numbering to each editor on the page

Add code folding support for DefinitionBlock, NowBlock, and HerebyBlock

Add "Reset All" button for resetting all Mizar editors

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

The Hide/Show button allows you to collapse and expand the editor and its buttons

Enhance folding functionality with `proof ... end` support,

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 ...

Modify plugin.info.txt

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

Create README.md

Update last update date in plugin.info.txt to reflect new version

Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

Blobと一時URLに変更

verifier error representation

再インストール