[mizar] Re: mmlquery for 4.92.996

[Jesse Alama <alama@stanford.edu>]

Jesse Alama <alama@stanford.edu> writes:

> 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?

Oops, my mistake -- it appears that there's a new version of mmlquery
now available at

  http://mmlquery.mizar.org/mmlquery/downloads/

Jesse

-- 
Jesse Alama (alama@stanford.edu)