Software Engineering
Document Actions

KeY Development version 2569

Up one level

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

 Title   Type 
key.jar File
LICENCE.TXT File
setup.jar File