3f7dd076 | 05-Jul-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Added parsing and visualization using python |
22b742c8 | 09-Apr-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
feat: add loading spinner to miz2prel button on source edit screen |
11977291 | 22-Jan-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Fix indentation logic for Proof and related nodes |
8027593b | 12-Jan-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Add code folding support for DefinitionBlock, NowBlock, and HerebyBlock |
fcd231cd | 10-Jan-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Add "Reset All" button for resetting all Mizar editors |
4f65af2c | 04-Jan-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Add "Hide All" button to toggle visibility of all Mizar blocks |
668cface | 28-Dec-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
The Hide/Show button allows you to collapse and expand the editor and its buttons |
8ead5b40 | 22-Dec-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Enhance folding functionality with `proof ... end` support, |
9d724a9f | 30-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 ...
|
42c7ffb2 | 30-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 ...
|
b68e3724 | 28-Nov-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs" |
f9af2148 | 23-Nov-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
button name: mizf to Compile |
a0444036 | 25-Oct-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Blobと一時URLに変更 |
d9d04770 | 19-Oct-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
test2 |
9fc5dc4b | 19-Oct-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
copy,mizファイル表示追加 |
5cbf3a53 | 28-Sep-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
CSSファイル分離 |
47595f9c | 16-Sep-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
clearボタン機能追加,一時ファイル名変更 |
6b7e227c | 13-Sep-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Initial commit |