Functions added in HistoryManager class