updated HISTORY file