Print XSLT processor output to stderr (using warn).
Whitespace.
No need to repeat.
Colon
Ensure that the .wsx is current with the .miz.
Make jobserver.
Use the wildcard function to get everything.
Simplify splitting (other stylesheets take care of some of these things).
More rigorous checks.
No need for all this computation in Mizar 8.1.02.
Start working on coherence conditions in registration blocks.
Makefile-based approach.
Use the new makefiles.
Typo.
Deal with (potentially) non-exportable unexported theorems in a separate stylesheet.
Deal with conditional registrations and reductions.
Count children of Straightforward-Justification nodes, when they exist.
Projectivity, sethood, more coherence conditions.
Deal with existential assumptions.
Wrong context node.