History log of /
plugin
/
mizarverifiabledocs
/
licenses
/
lezer
/ (Results
1 – 1
of
1
)
Home
History
Annotate
current directory
Revision
Date
Author
Comments
(<<< Hide modified files)
(Show modified files >>>)
3e848a8d
13-Nov-2025
Yamada, M. <104548654+YamadaMiz@users.noreply.github.com>
Add COPYING (GPL 2) and MIT licenses; update README; rebuild dist
/plugin/mizarverifiabledocs/.gitattributes
/plugin/mizarverifiabledocs/.gitignore
/plugin/mizarverifiabledocs/COPYING
/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/licenses/codemirror/LICENSE
LICENSE
/plugin/mizarverifiabledocs/package-lock.json
/plugin/mizarverifiabledocs/package.json
/plugin/mizarverifiabledocs/plugin.info.txt
/plugin/mizarverifiabledocs/requirements.txt
/plugin/mizarverifiabledocs/script.js
/plugin/mizarverifiabledocs/script/__pycache__/miz_parser.cpython-311.pyc
/plugin/mizarverifiabledocs/script/__pycache__/miz_parser.cpython-313.pyc
/plugin/mizarverifiabledocs/script/miz2svg.py
/plugin/mizarverifiabledocs/script/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