Skip to content
GitLab
Explore
Sign in
key-public
key
Tags
KeY-1.2
KeY-1.2
bubel@Ardberg.local
0723d1db
·
* fixed sound play in bytecode and webstart version
·
Nov 30, 2007
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
This is the version released as KeY-1.2.0