Home
last modified time | relevance | path

Searched hist:b68e37241baa51dc1a83300f58ba2507a52b9325 (Results 1 – 11 of 11) sorted by relevance

/plugin/mizarverifiabledocs/conf/
H A Dmetadata.phpb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Ddefault.phpb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

/plugin/mizarverifiabledocs/
H A DREADME.mdb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Dscript.jsb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Dsyntax.phpb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Dstyle.cssb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Dpackage-lock.jsonb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Dplugin.info.txtb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

H A Daction.phpb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

/plugin/mizarverifiabledocs/src/
H A Dscript.jsb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

/plugin/mizarverifiabledocs/dist/
H A Dscript.js.mapb68e37241baa51dc1a83300f58ba2507a52b9325 Thu Nov 28 10:51:04 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"