public interface KeYConstants
static String
COPYRIGHT
INTERNAL_VERSION
VERSION
static final String INTERNAL_VERSION
static final String VERSION
static final String COPYRIGHT