oracle.ide.history

Classes  Historian HistoryContext HistoryManager LocalState

Exceptions  HistoryPersistenceException