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

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


-- 
Adam Naumowicz

===========================================================================
Division of Programming and Formal Methods   Fax: +48(85)738-83-33
Faculty of Computer Science                  Tel: +48(85)738-83-06 (office)
University of Bialystok                      E-mail: [email protected]
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================