Re: [mizar] MML duplications

[Freek Wiedijk <freek@cs.ru.nl>]

Hi Josef,

>>And if one had been working on an article, got distracted,
>>but then tried to pick it up half a year or so later,
>>one would have a bit of a problem, wouldn't you?  To get
>>it working again would take much more work then it takes now.
>
>It would work with the old system, and if the article is worth anything, 
>you might get help from Adam & Co. to port it to new version of the 
>system.

I wouldn't want to work like that.  It feels wrong not to
use the latest MML.  Also I think the library committee
only wants to see articles that work with the latest MML.

Freek