KeY-Hoare-0.1.8

bubel@chalmers.se

a93b0b80 · Fixed Makefile (now really) · Apr 23, 2009

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