How to Get OpenAxiom

Released Source Tarballs

open-axiom-1.1.0
OpenAxiom-1.1.0 has been released on February, 2008. OpenAxiom-1.1.0 is known to build on major Unix and GNU/Linux operating systems, and on Windows (MinGW/MSYS). Please refer to the INSTALL file for instructions on how to build, install, and use OpenAxiom.
OpenAxiom-1.1.0 binaries are also available for download.

Development Source

Requirements

You need a working SVN command that supports the HTTP protocol. You can get a copy from http://subversion.tigris.org/.

Read-Only Access

The development sources or `live sources' of OpenAxiom are available in an SVN repository at SourceForge.

To get the mainline version of OpenAxiom, you may want to issue the following command
 svn co https://open-axiom.svn.sf.net/svnroot/open-axiom/trunk \
	  open-axiom.trunk
  

That will pull the sources from SourceForge repository and put them in a directory named open-axiom.trunk. You should feel free to replace open-axiom.trunk with any name of your like.

In addition, you may also browse our SVN repository online using viewvc.

Read-Write Access

Regular contributors to OpenAxiom will prefer to have read-write access to our SVN repository. In that case, you need to have a SourceForge user id, and be registered as a developer.

To obtain a working copy with write privilege to the OpenAxiom repository, you might want to append --username=user-id where user-id is your SourceForge user id.