[mizar] Re: installing mmlquery locally

[Jesse Alama <alama@stanford.edu>]

Krzysztof Retel <retel@macs.hw.ac.uk> writes:

> As far as I know they are not. But hope they will appear at some
> point. Or maybe it would be easier to create a bash file which would
> allow to install the engine automatically.

It would also be nice to know how to use mmlquery.  For example, I
didn't know how to quit the program.  What are some real-world queries
that a user might run?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*14: Too many terms in an inference (http://www.mizar.org)