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
------------------------------------------------------------------------------
_______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
