Added parsing and visualization using python

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

Fix indentation logic for Proof and related nodes

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

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に変更

test2

copy，mizファイル表示追加

CSSファイル分離

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

Initial commit