open-axiom repository from github
2008-08-22 Gabriel Dos Reis <[email protected]> * OpenAxiom-1.2.0 has been released.
