public interface KeYConstants
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
COPYRIGHT |
static java.lang.String |
INTERNAL_VERSION |
static java.lang.String |
VERSION |
static final java.lang.String INTERNAL_VERSION
static final java.lang.String VERSION
static final java.lang.String COPYRIGHT