Changes in LICENSE en Copyright 2025 Java 3e848a8daa0c22cd86966e7a24618d315c4f2722 - Add COPYING (GPL 2) and MIT licenses; update README; rebuild dist http://127.0.0.1:8080/history/plugin/mizarverifiabledocs/licenses/lezer/LICENSE#3e848a8daa0c22cd86966e7a24618d315c4f2722 Add COPYING (GPL 2) and MIT licenses; update README; rebuild dist List of files: /plugin/mizarverifiabledocs/licenses/lezer/LICENSE Thu, 13 Nov 2025 08:10:18 +0000 Yamada, M. <104548654+YamadaMiz@users.noreply.github.com>