oracle.ide.history

Classes

• Historian
• HistoryContext
• HistoryManager
• LocalState

Exceptions

• HistoryPersistenceException