defineHistoryName.Rd
History name will be customized or not, depending on customize_history_name. In customization case, complete history name by some user and times information.
defineHistoryName(history_name, customize_history_name)
historyName Defined history name, customized or not (depending on customize_history_name)