Searched hist:b68e37241baa51dc1a83300f58ba2507a52b9325 (Results 1 – 11 of 11) sorted by relevance
/plugin/mizarverifiabledocs/conf/ | ||
H A D | metadata.php | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | default.php | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | README.md | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | script.js | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | syntax.php | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | style.css | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | package-lock.json | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | plugin.info.txt | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | action.php | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | script.js | b68e37241baa51dc1a83300f58ba2507a52b9325 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 D | script.js.map | b68e37241baa51dc1a83300f58ba2507a52b9325 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" |