[isabelle-dev] Bug Tracking

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