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