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