update HISTORY file