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

Jesse Alama <[email protected]> Sun, 04 Sep 2011 22:42:45 +0200

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

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/

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.