[open-axiom-devel] OpenAxiom trunk now on GitHub

[Gabriel D. R. <gd...@in...>]

Hi,

I moved OpenAxiom *trunk* to GitHub:

   https://github.com/GabrielDosReis/open-axiom

Everything else is on SourceForge for now.
The GitHub repo was created via GitHub's 'SVN repo import', so all the
history should be there.
Please, use it for development and pull requests.
Future releases will be made from that repo, going forward.

-- Gaby