KeY 2.0 maintanance update, contains soundness fixes and improved SMT support

Some bugfixes to 2.0.0

This is KeY 1.6.0 released 6th Oct. 2010.

release of KeY Hoare 0.1.9

KeY-Creol version of Maximilians master thesis

This version has been published as KeY-Hoare-0.1.8

* it contains a bug fix for the execution time calculus
* it is up-to-date with the post 1.4.0 master branch

This version has been released as KeY 1.4.0.

KeY-Hoare Version 0.1.7

Features:
 * integer and boolean typed arrays
 * own parser for Hoare programs

Fixes:
  * fixed line and column positions in error messages
  * fixed loading of a few left-over Java rules

KeY-1.4.0 TP 3 release. Fixes broken RespectsModifiesPO

KeY-1.4.0 TP 2 release with fix for empty domain test of intersection sorts and a few other improvements.

Release of KeY 1.2.1 with backported bugfix for empty domain tests of intersection sorts.

official KeYmaera measurements, performance assessment and evaluation, for version dbc824583e8ed39a3a0e0b98560f435575863c17

This version has been released as KeY 1.4.0 Technology Preview on Friday 5.9.2008

This version of KeYmaera was used to generate the numbers presented in HSCC'08 short paper.