[isabelle-dev] Bug Tracking

[Lawrence Paulson]

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  
easily.

Larry

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  
> 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