[isabelle-dev] Bug Tracking
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