[Date Prev][Date Next] [Chronological] [Thread] [Top]

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

On Sat, Mar 09, 2002 at 10:35:31PM +0100, Josef Urban wrote:
> 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.

I am using it sometimes, yet this is not all the functionality that 
one can have and one can still use multiple windows.  

A postprocessor for formatting Mizar texts is needed to convert Mizar
texts to some standard presentation style - I see it as a substantial
automated reediting of Mizar text rather than just XML style sheet.

-- 
Piotr Rudnicki               CompSci, Univerity of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr