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

["P.S.V.R" <pmq2001@gmail.com>]

Thank very much Boris

On Thursday, September 1, 2011, Boris Schminke <schminkeba@gmail.com> wrote:
> Hello,
> there is an entry in Mizar TWiki collaboration tool
> http://wiki.mizar.org/twiki/pub/Mizar/MmlQuerySyntax/mmlquery-grammar.html.
> At the project's bibliography page there is a useful link
> http://mizar.org/project/bibliography.html
> Actually there are two similarly named publications, Information
> Retrieval in MML (by Bancerek and Rudnicki, 2003) and Information
> Retrieval and Rendering with MML Query (by Bancerek, 2006). The latter
> is available, for example, here
> http://www.springerlink.com/content/3p26572782981210/ and this is the
> best publication on MML Query I've found.
> And you're right, MML Query rulez:)
>
> On 31 August 2011 11:20, psvr <pmq2001@gmail.com> wrote:
>> 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
> Yours,
> Boris.
>

-- 
https://github.com/pmq20