For those who don't already know about this, I recommend the Github Issues Application,
http://githubissues.heroku.com/ It gives an application-style interface to Github issues. One of the nice things is that you can add any repositories to it so you can track the issues for a number of repositories at once. For those that use Chrome, it's available through the Chrome Web Store. Cheers, Tim. --- Tim Lahey PhD Candidate, Systems Design Engineering University of Waterloo http://about.me/tjlahey -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.