Mizar Wiki 403 error "forbidden"
Alex Nelson thmprover _AT_ gmail.com <[email protected]> Sat, 28 Dec 2024 09:40:20 -0800
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CAA+9CX0-H3M7P89Y07DpQ+WJnuoR1dQZzKP+UbvoF95U0m2ukQ@mail.gmail.com> |
--0000000000005d6cce062a5813b6 Content-Type: text/plain; charset="UTF-8" Hello, I just tried accessing the Mizar wiki (http://wiki.mizar.org/bin/view/Mizar) and got a 404 error; I'm not sure who to ping about it? Best, Alex --0000000000005d6cce062a5813b6 Content-Type: text/html; charset="UTF-8" <div dir="ltr">Hello,<br><br>I just tried accessing the Mizar wiki (<a href="http://wiki.mizar.org/bin/view/Mizar">http://wiki.mizar.org/bin/view/Mizar</a>) and got a 404 error; I'm not sure who to ping about it?<br><br>Best,<br>Alex</div> --0000000000005d6cce062a5813b6--