KeY-2.6.0
f2101bb9
·
Fixed version string and copyright
·
Dec 22, 2016