[mizar] feature request: include a semantic representaion of the mml in the mizar distribution

[Jesse Alama <alama@stanford.edu>]

A wishlist item: put the semantic representions of the MML, as found
at

http://mmlquery.mizar.org/mml/current ,

in the MIZAR distribution.  I often work on MIZAR articles when I
don't have network access and wish that I could check out semantic
representation of some article of interest, but am unable to do so.
It would be nice if I could just open my web browser and explore the
semantic representation of the MML offline.

Thoughts?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*393: Incorrect beginning of a reasoning item