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

["Antoni Urban" <antoniu@softm.co.za>]

Hi Piotr
Hi Josef

Hereby, I would like to offer my experience in WYSIWYG editing (dating back
1977). Currently, 11 countries are using my software to publish White and
Yellow Pages, as well as map books, wall maps, raster maps, etc. The
software allows users to view and edit on screen pages of text and graphics
(sometimes a directory can consist of 2000 pages and full colour graphics).

I know what Piotr is referring to. I noticed the problem when I joined Mizar
year ago. I would also suggest to create the system feature of attaching
pictures to articles. And more importantly, I am ready to help Mizar system
programmers to design the new features.

Thank you for your attantion - Antoni Urban




----- Original Message -----
From: "Piotr Rudnicki" <piotr@cs.ualberta.ca>
To: <mizar-forum@mizar.uwb.edu.pl>
Sent: Sunday, March 10, 2002 12:37 AM
Subject: 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
>