[isabelle-dev] Bug Tracking
lp15 at cam.ac.uk
Fri Mar 13 10:26:49 CET 2009
I think that we had this discussion before and rejected the idea on
the grounds that we don't have any bugs to track :-)
I think it is a good idea provided that something can be deployed
On 12 Mar 2009, at 20:05, Tjark Weber 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
> 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.
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
More information about the isabelle-dev