[mizar] Re: mmlquery for 4.92.996

[Jesse Alama <alama@stanford.edu>]

Grzegorz Bancerek <bancerek@math.uwb.edu.pl> writes:

> Quoting Jesse Alama <alama@stanford.edu>:
>
>> Judging from
>>
>>  http://mmlquery.mizar.org/mmlquery/downloads/
>>
>> it looks like the MMLQuery downloads for MML version 4.92.996 aren't
>> available.  (Also, the installation instructions for the system are
>> missing.)  Any chance of making those available?
>>
>> Thanks,
>>
>> Jesse
>>
>> --
>> Jesse Alama (alama@stanford.edu)
>>
>
> Done.

Excellent -- thanks.  Any chance of a new mmlquery for MML version
4.93.997 being released soon?

Thanks again,

Jesse

-- 
Jesse Alama (alama@stanford.edu)