[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: browsing Mizar.org in Windows with IExplorer5
On Thu, Mar 15, 2001 at 03:40:50PM +0100, DE MARINIS Marcello wrote:
> Hi all. I browse Mizar.org with Windows Internet Explorer 5 and I have got
> two problems about the correct visualization of the HTML pages.
>
> 1)
>
> As an example of my first problem, the summary of the Mizar article JORDAN1
> of vol. 4 ("The Jordan's Property for Certain Subsets of the Plane") is
> visualized in this manner:
>
>
> Let $S$ be a subset of the topological Euclidean plane ${}{\cal E}^{2}_{\rm
> T}{}$. We say that $S$ has Jordan's property if there exist two non-empty,
> disjoint and connected subsets ${G_{1}}$ and ${G_{2}}$ of ${}{\cal
> E}^{2}_{\rm T}{}$ such that $S \mathclose{^{\rm c}} = G_{1} \cup G_{2}$ and
> $\overline{{G_{1}}} \setminus {G_{1}}= \overline{{G_{2}}}
> \setminus{{G_{2}}}$ (see [14], [8]). The aim is to prove that the boundaries
> of some special polygons in ${}{\cal E}^{2}_{\rm T}{}$ have this property
> (see Section 3). Moreover, it is proved that both the interior and the
> exterior of the boundary of any rectangle in ${}{\cal E}^{2}_{\rm T}{}$ is
> open and connected.
>
>
> Are those tokens from Latex syntax and it is impossible to read them better
> or there exists some procedure to follow in order to avoid this unagreable
> effect?
Maybe abstracts should made into .gif from .ps? Including LaTeX source
is really annoying for people not speaking it.
> 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"
>
>
> Once again: what is the reason of it and the manner to avoid it?
Beats me.
--
Piotr Rudnicki CompSci, Univerity of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca http://web.cs.ualberta.ca/~piotr