On Wed, 30 Jan 2013, Tjark Weber wrote:
Some projects let users vote (+1) on feature requests. Of course, as Steve Jobs put it: "A lot of times, people don't know what they want until you show it to them."
It is usually better to provide things that people *need*, but that is even harder to find out.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
