ATP and presentation service for Mizar updated to MML 5.94.1493

--0000000000008fad7c063ee7dd57
Content-Type: text/plain; charset="UTF-8"

I have now updated the MizAR service (
http://grid01.ciirc.cvut.cz/~mptp/MizAR.html or via Emacs) to handle also
the latest MML version 5.94.1493 .

Josef

--0000000000008fad7c063ee7dd57
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">I have now updated the MizAR service (<a href=3D"http://gr=
id01.ciirc.cvut.cz/~mptp/MizAR.html">http://grid01.ciirc.cvut.cz/~mptp/MizA=
R.html</a> or via Emacs) to handle also the latest MML version 5.94.1493 .<=
div><br></div><div>Josef<br><div><br></div></div></div>

--0000000000008fad7c063ee7dd57--