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