1Mizar Verifiable Docs Plugin for DokuWiki 2 3Embed Mizar article blocks in wiki pages so users can edit and verify mathematical proofs directly. 4Provides syntax highlighting, error reporting, proof checking, and cross-references for dynamically 5verifiable documentation of mathematics. 6 7All documentation for this plugin can be found at 8https://www.dokuwiki.org/plugin:mizarverifiabledocs 9 10If you install this plugin manually, make sure it is installed in 11lib/plugins/mizarverifiabledocs/ - if the folder is called different it 12will not work! 13 14Please refer to https://www.dokuwiki.org/plugins for additional info 15on how to install plugins in DokuWiki. 16 17---- 18Copyright (C) Yamada, M. 19 20This program is free software; you can redistribute it and/or modify 21it under the terms of the GNU General Public License as published by 22the Free Software Foundation; version 2 of the License. 23 24This program is distributed in the hope that it will be useful, 25but WITHOUT ANY WARRANTY; without even the implied warranty of 26MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 27GNU General Public License for more details. 28 29See the COPYING file included with this plugin for details. 30 31Third-party components bundled with this plugin: 32- CodeMirror — MIT License (see licenses/codemirror/LICENSE) 33- Lezer — MIT License (see licenses/lezer/LICENSE) 34