History log of /plugin/mizarverifiabledocs/dist/ (Results 1 – 18 of 18)
Revision Date Author Comments
(<<< Hide modified files)
(Show modified files >>>)
3f7dd07605-Jul-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Added parsing and visualization using python

22b742c809-Apr-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

1197729122-Jan-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Fix indentation logic for Proof and related nodes

8027593b12-Jan-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Add code folding support for DefinitionBlock, NowBlock, and HerebyBlock

fcd231cd10-Jan-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Add "Reset All" button for resetting all Mizar editors

4f65af2c04-Jan-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

668cface28-Dec-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

8ead5b4022-Dec-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

9d724a9f30-Nov-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

42c7ffb230-Nov-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

b68e372428-Nov-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

f9af214823-Nov-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

button name: mizf to Compile

a044403625-Oct-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Blobと一時URLに変更

d9d0477019-Oct-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

test2

9fc5dc4b19-Oct-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

copy,mizファイル表示追加

5cbf3a5328-Sep-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

CSSファイル分離

47595f9c16-Sep-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

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

6b7e227c13-Sep-2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Initial commit