history property

String history
getter/setter pair

Implementation

static String history = "history";