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

Re: browsing Mizar.org in Windows with IExplorer5

> 2)
> 
> The second problem is perhaps linked to the first one.
> 
> In the related "Contents" pages I find often at the bottom many rows like
> this:
> 
> 
> öÄîöÄY"GX""GX""GX""GX"
> 

This is unfortunately a bug in our software for generating
HTML Version. We will correct it asap.

Although we strongly recommend to browse such texts in 
POSTSCRIPT Version (on the bottom of the page).

Thank you for your remarks.

-- Adam Grabowski
-- Roman Matuszewski

-------------------------------------------------------------------
Journal of Formalized Mathematics

University of Bialystok,
Institute of Mathematics,
Akademicka 2,
15-267 Bialystok, Poland

jfmedit@mizar.uwb.edu.pl