History log of /
plugin
/
mizarverifiabledocs
/
lang
/ (Results
1 – 2
of
2
)
Home
History
Annotate
current directory
Revision
Date
Author
Comments
(<<< Hide modified files)
(Show modified files >>>)
f9af2148
23-Nov-2024
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>
button name: mizf to Compile
/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
en/settings.php
ja/settings.php
/plugin/mizarverifiabledocs/package-lock.json
/plugin/mizarverifiabledocs/package.json
/plugin/mizarverifiabledocs/plugin.info.txt
/plugin/mizarverifiabledocs/script.js
/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
6b7e227c
13-Sep-2024
YamadaMiz <104548654+YamadaMiz@users.noreply.github.com>
Initial commit
/plugin/mizarverifiabledocs/.gitattributes
/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
en/settings.php
ja/settings.php
/plugin/mizarverifiabledocs/plugin.info.txt
/plugin/mizarverifiabledocs/script.js
/plugin/mizarverifiabledocs/style.css
/plugin/mizarverifiabledocs/syntax.php