Re: [mizar] 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.

Perhaps we could add your instructions to a little README file and/or
put them on the Mizar wiki.

Jesse

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