Moved to version 0.6.
Started generating documentation.
Added documentation for the Spatial Supported Precondition.