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

Boris Schminke <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <CAC-WUu0TGw4MCmvMz3mh5ujXEV4dH+cKO_BCKo+ySXFfHT67+w@mail.gmail.com>
Actually, I'm not using it now. When I wrote "MML Query rulez" I meant
that it is of great complexity (for me a year ago it was like a yet
another SQL) and possibly of great use. Nevertheless I'm not sure that
it really could help in browsing this great chaos called MML. I tried
it a year ago then decided that it was still too inconvenient.
How does anybody navigate it? Only through HTML articles?

On 5 September 2011 00:42, Jesse Alama <[email protected]> wrote:
> Boris Schminke wrote:
>
>> MML Query rulez
>
> Just out of curiosity, can you share how you're using MML Query?
>
> --
> Jesse Alama
> http://centria.di.fct.unl.pt/~alama/
>
>
-- 
Yours,
Boris
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.