Re: [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493

[Roman Matuszewski <romat@mizar.org>]

You must select: 5.94.1493  in the MML version window.

Roman

On Tue, 16 Sep 2025, adamn _AT_ math.uwb.edu.pl wrote:

> Hi Josef,
>
> That's great. But the links in the output Mizar text seem to point to the old
> MML version:
>
> http://grid01.ciirc.cvut.cz/~mptp/mml5.29.1227
>
> Cheers,
>
> Adam
>
> Quoting "Josef Urban  josef.urban _AT_ gmail.com"
> <owner-mizar-forum@mizar.uwb.edu.pl>:
>
> > I have now updated the MizAR service (
> > http://grid01.ciirc.cvut.cz/~mptp/MizAR.html or via Emacs) to handle also
> > the latest MML version 5.94.1493 .
> > 
> > Josef