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

Re: [mizar] New MML version 4.76.959



Freek Wiedijk <freek@cs.ru.nl> writes:

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

I second the motion.

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*143: No implicit qualification