wsmiz.xml missing?

--000000000000bedbf7063de747fe
Content-Type: text/plain; charset="UTF-8"

Hello,

I have been studying the Mizar system's source code, and I noticed in
`base/wsmarticle.pas`, there is reference to "wsmiz.xml" in the constructor
`OutWSMizFileObj .OpenFileWithXSL`...but that XML file is missing in Mizar
installations (and it is not present in the Mizar system's repository).

Does anyone have a copy of it? Is this actually needed anywhere? (Just
grepping through the output produced running Mizar on, e.g., group_24, I
don't find it appearing in any output file...)

I only noticed this because I have been transcribing the Mizar source code
into a literate program (using Knuth's WEB). So far, that's the biggest
"bug" I have encountered (in the 21 files I have looked at), so that's a
good sign.

Best,
Alex

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

<div dir=3D"ltr"><div>Hello,<br><br></div><div>I have been studying the Miz=
ar system&#39;s source code, and I noticed in `base/wsmarticle.pas`, there =
is reference to &quot;wsmiz.xml&quot; in the constructor `OutWSMizFileObj .=
OpenFileWithXSL`...but that XML file is missing in Mizar installations (and=
 it is not present in the Mizar system&#39;s repository).<br><br></div><div=
>Does anyone have a copy of it? Is this actually needed anywhere? (Just gre=
pping through the output produced running Mizar on, e.g., group_24, I don&#=
39;t find it appearing in any output file...)</div><div><br></div><div>I on=
ly noticed this because I have been transcribing the Mizar source code into=
 a literate program (using Knuth&#39;s WEB). So far, that&#39;s the biggest=
 &quot;bug&quot; I have encountered (in the 21 files I have looked at), so =
that&#39;s a good sign.<br><br></div><div>Best,<br></div><div>Alex</div></d=
iv>

--000000000000bedbf7063de747fe--