Home » org.key-project » key.core.example » 2.12.2 » Changes

Key Core Example » 2.12.2

Example project to use KeY's APIs
Version2.12.2compared with

Version Details

2.12.1 2.12.2
Release dateOct 15, 2023Dec 16, 2023
LicensesGPL 2.0GPL 2.0
VulnerabilitiesNoneNone

Runtime Changes (1)

2.12.1 2.12.2
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.key-project » key.core2.12.12.12.2