[isabelle-dev] Bug Tracking

Makarius makarius at sketis.net
Fri Jul 10 00:59:15 CEST 2009

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 


More information about the isabelle-dev mailing list