Formal Methods for Java – KeY Development version 2569

First, delete your old .key directory in your HOME directory. Download key.jar and setup.jar below, then install with

java -jar setup.jar

	Name	Last modified	Size
	key.jar	21.06.2007	8317425 bytes
	LICENSE.TXT	21.06.2007	18288 bytes
	setup.jar	21.06.2007	564789 bytes

---

Back to Formal Methods for Java