Getting the toolchain

The latest version of the toolchain and its documentation is always available at:
http://www.semantix.gr/assert/.