[mizar] Where to find "MML Query" documentation and source code?

[psvr <pmq2001@gmail.com>]

Hello Everybody,

I find MML Query quite essential to the information retrieval of the Mizar Library.
However I really can't find more information about this tool than its query page.

I wonder whether MML Query is open source so that I can check the source code and know how to use
and
whether MML Query has a documentation somewhere that eludes me.

Thank you very much!

P.S.V.R
8.31 2011