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

Roman Matuszewski romat _AT_ mizar.org <[email protected]> Tue, 16 Sep 2025 19:08:23 +0200 (CEST)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

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"
> <[email protected]>:
> 
> > 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
> 
> 
>