[isabelle-dev] Bug Tracking

Brian Huffman brianh at cs.pdx.edu
Thu Jul 9 19:09:56 CEST 2009

I think it's time to bring up the issue of bug tracking again. I just
replied to Peter Lammich on the Isabelle users list about a bug in the
locale package that has been known to exist for at least a year and a
half; it is unclear whether anyone has taken any responsibility for
fixing the bug, or indeed whether there is any plan to fix it at all.
A bug tracking system would have been very useful in this case.

Anyway, I just wanted to express my agreement and support for what
Tjark said earlier about the need for a bug tracking system.

- Brian

On Thu, Mar 12, 2009 at 1:05 PM, Tjark Weber<webertj at in.tum.de> wrote:
> The various recent bug reports reminded me that the current way of
> tracking bugs for Isabelle seems archaic to me.  The Isabelle mailing
> lists clearly have their value, but how about a proper bug tracking
> system (such as Bugzilla) for tracking bugs and feature requests?
> The benefits could be numerous: a bug tracker would provide an overview
> of development requests and their status; bugs could be assigned to
> developers; classified by priority/severity; related to repository
> versions; etc.
> Choosing the best bug tracker may not be trivial, but using none seems
> far from optimal to me.  Anyway, just my 2 cents.
> Regards,
> Tjark
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list