| #
3f7dd076 |
| 05-Jul-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Added parsing and visualization using python
|
| #
08219f34 |
| 15-Jan-2025 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Add numbering to each editor on the page
|
| #
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
|
| #
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
|
| #
4754b0a7 |
| 19-Oct-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
再インストール
|
| #
70019329 |
| 19-Oct-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
test
|
| #
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ファイル分離
|
| #
6b7e227c |
| 13-Sep-2024 |
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> |
Initial commit
|