[mizar] Some bugs (or features)

[Boris Schminke <schminkeba@gmail.com>]

Dear All,
I've found some strange things. The first one happens when one try to
download HTML-linked articles from ftp://mizar.uwb.edu.pl/pub/xmlmml/
and browse them with Chromium or Google Chrome locally (both under
Linux and Windows). Proofs won't expand then with the error
""XMLHttpRequest cannot load file:///... Cross origin requests are
only supported for HTTP."  The issue and workarounds are discussed
here: http://code.google.com/p/chromium/issues/detail?id=40787
According to this discussion I think that there is nothing to be done
at Mizar's side. Users can either use --allow-file-access-from-files
option while running Chromium locally or use Firefox/IE/Safari.
The second one is a typo in MEASURE2 article
(http://mizar.org/version/current/html/measure2.html). In the title
there is a mentioning of discrete categories but there are none of
them in the article and the title at the FM page. I think that this
mentioning should be deleted.

-- 
Yours,
Boris.