Skip to content
GitLab
Explore
Sign in
KeY-1.2
bubel@Ardberg.local
0723d1db
·
* fixed sound play in bytecode and webstart version
·
Nov 30, 2007
This is the version released as KeY-1.2.0
