Re: [mizar] Re: Mizar Parser

[Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>]

Freek Wiedijk wrote:
> Are those mxa's available in just one tar.gz file?  And is
> there a set of ".mxa.html" files that contain hyperlinks,
> like the jfmabstr.tar.gz?

It is
  http://megrez.mizar.org/mxa/Mxa.tar.gz

but no yet .mxa.html.  It is no problem
to use mxa files instead of abs files as input
for the program which prepares abs.html files.
It is nice idea, but you will not get links for
all constructors (hidden - e.g., types of free
variables).

Grzegorz