[opentheory-users] The opentheory tool is now a github project

[Joe Leslie-Hurd]

I've just created a github repo for the opentheory tool

https://github.com/gilith/opentheory

which I intend to use for development from now on. Official releases
will continue to be available at

http://www.gilith.com/software/opentheory/

and this mailing list will continue to be the place for discussions
about OpenTheory, but issues related to the opentheory tool can be
filed (and tracked) using github, and improvements can be offered as
pull requests :-)

Cheers,

Joe