[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] New MML version 4.76.959



Hi Adam,

>In fact, I used to announce it; some intensive changes of
>the MML still take place, hence my doubts about it.

Maybe there could be an rss feed for new versions of MML?
That would be nicest for me.

Only if it's little work, of course.

Freek