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

[Boris Schminke <schminkeba@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 <jesse.alama@gmail.com> 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