[isabelle-dev] Bug Tracking

[Makarius]

On Thu, 9 Jul 2009, Tjark Weber wrote:

>> One also needs extreme care when "fixing" problems: unless this is done by
>> someone with a deep understanding of the component in question (usually
>> the original author or main maintainer), it is usually introducing more
>> problems than are resolved.
>
> If this is a plea for more maintainable code, one can hardly disagree.
> Documentation might help, as might unit tests.

No, this refers to deep understanding what is really going on, not any 
superficial poking around with "modern" things that come and go every few 
years.


 	Makarius