[mizar] installing mmlquery locally

[Jesse Alama <alama@stanford.edu>]

I'm starting to learn about the MMLQuery tool.  It would be nice to
run mmlquery locally on my machine, so that I can run queries when not
connected to the network.  How can I do that?  I downloaded kernel.tgz
from http://merak.pb.bialystok.pl/mmlquery/downloads but I'm not sure
what to do next, or how to test whether the installation was done
correctly.  Any hints?

Thanks,

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*56: Disagreement of types (http://www.mizar.org)