[Keel-Announce] [ANN] Keel 2.0 is available

All,

After many months of preparation, Keel 2.0 is finally out.

The release is available on SourceForge from the following location:
<http://sourceforge.net/project/showfiles.php?group_id=55599&release_id=203835>

Instructions on how to use this release is available on our Wiki at:
<http://66.105.113.115/vqwiki-2.3.5/jsp/Wiki?TutorialPage>

General documentation is available at:
<http://66.105.113.115/vqwiki-2.3.5/jsp/Wiki?StartingPoints>

We sincerely look forward to feedback and comments, please enter them at:
<http://sourceforge.net/tracker/?group_id=55599>

Thanks to the community for suggestions, testing, feedback, bug-reports and
all the contributions!  As well, thanks to the communities around all the
other OSS projects that Keel depends on and integrates with.

Look for announcements propagating to all the Java forums and news sites over
the next few days!

The Keel Team
http://www.keelframework.org