Skip to content
GitLab
Explore
Sign in
KeY-1.4.0_Technology_Preview_3
bubel@chalmers.se
dd5c5891
·
Fixed version strings
·
Oct 06, 2008
KeY-1.4.0 TP 3 release. Fixes broken RespectsModifiesPO