Added HistoryManager interface and its preliminary implementation.