marabou wrote:
> But on the other hand: this could be too much work for some coders. 
> And if a rule is too complex this could mean that some (most?) people do not
> publish their own good modifications anymore.

well all I was thinking of is requiring a statement to be added to the header
of the file that it has been modified, and by whom. I don't think that's too
much of a burden.

Post a reply to this message