Re: [mizar] Strong Mizar wish: linking to consider

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

On Sat, 9 Mar 2002, Piotr Rudnicki wrote:

> I have been thinking now and then (for the last 20 some years)
> about a formatter for Mizar proofs, not just a pretty printer
> but a formatter allowing for hierarchical viewing of Mizar texts.

As for just hierarchical viewing, you can use the Hide/Show in the Mizar 
mode for that. 
If we do the XML export in some finite time, a pretty printer will be 
just a style sheet.

Regards,
Josef