[henshin-dev] Release 0.7.0

[Christian Krause <henshin.ck@xxxxxxxxx>]

Hi guys,

release 0.7.0 is available for download and from our new update site!

The version number for the nightly builds are 0.7.1 (suffixed by a 
timestamp). The nightly builds are also available from a (separate) 
update site.

You can also check out our build jobs at Hudson.

We do not really have official release notes for 0.7.0. Anyway, you can 
read the wiki on some new features in the state space tools.

Cheers,
Christian