History log of /plugin/mizarverifiabledocs/script/ (Results 1 – 2 of 2)
Revision Date Author Comments
(<<< Hide modified files)
(Show modified files >>>)
1a91113b28-Nov-2025 Yamada, M. <104548654+YamadaMiz@users.noreply.github.com>

Add SPDX license headers and update README/requirements


/plugin/mizarverifiabledocs/COPYING
/plugin/mizarverifiabledocs/README.md
/plugin/mizarverifiabledocs/action.php
/plugin/mizarverifiabledocs/dist/script.js
/plugin/mizarverifiabledocs/dist/script.js.map
/plugin/mizarverifiabledocs/licenses/codemirror/LICENSE
/plugin/mizarverifiabledocs/licenses/lezer/LICENSE
/plugin/mizarverifiabledocs/package-lock.json
/plugin/mizarverifiabledocs/plugin.info.txt
/plugin/mizarverifiabledocs/script.js
miz2svg.py
miz_parser.py
/plugin/mizarverifiabledocs/src/script.js
/plugin/mizarverifiabledocs/style.css
/plugin/mizarverifiabledocs/syntax.php
3f7dd07605-Jul-2025 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>

Added parsing and visualization using python


/plugin/mizarverifiabledocs/.gitattributes
/plugin/mizarverifiabledocs/.gitignore
/plugin/mizarverifiabledocs/README.md
/plugin/mizarverifiabledocs/action.php
/plugin/mizarverifiabledocs/conf/default.php
/plugin/mizarverifiabledocs/conf/metadata.php
/plugin/mizarverifiabledocs/dist/script.js
/plugin/mizarverifiabledocs/dist/script.js.map
/plugin/mizarverifiabledocs/lang/en/settings.php
/plugin/mizarverifiabledocs/lang/ja/settings.php
/plugin/mizarverifiabledocs/package-lock.json
/plugin/mizarverifiabledocs/package.json
/plugin/mizarverifiabledocs/plugin.info.txt
/plugin/mizarverifiabledocs/requirements.txt
/plugin/mizarverifiabledocs/script.js
__pycache__/miz_parser.cpython-311.pyc
__pycache__/miz_parser.cpython-313.pyc
miz2svg.py
miz_parser.py
/plugin/mizarverifiabledocs/src/highlight.js
/plugin/mizarverifiabledocs/src/mizar-parser.js
/plugin/mizarverifiabledocs/src/mizar-parser.terms.js
/plugin/mizarverifiabledocs/src/mizar.grammar
/plugin/mizarverifiabledocs/src/script.js
/plugin/mizarverifiabledocs/style.css
/plugin/mizarverifiabledocs/syntax.php